Searching for authors named Yi Yang – sorted by Relevance.
81 documents found, showing 1 through 10.
Next 10 →
-
Ontobayes approach to corporate knowledge
- …OntoBayes Approach to Corporate Knowledge Yi Yang and Jacques Calmet Institute for Algorithms…
- Cited by 1 (1 self) – Add To MetaCart
-
A Symmetric Patch-Based Correspondence Model for Occlusion Handling
- …A Symmetric Patch-Based Correspondence Model for Occlusion Handling Yi Deng † dengyi00@mails…
- Cited by 12 (1 self) – Add To MetaCart
-
On Correlations of a Family of Generalized Geometric Sequences
- … Sequences Wei Sun, Andrew Klapper, Yi Xian Yang Abstract| In this paper we study families of generalized…
- Cited by 3 (2 self) – Add To MetaCart
-
Classification of Rank Conditions for Multiple Views of Dynamical Scenes
- …Classification of rank conditions for multiple views of dynamical scenes Yi Ma Kun Huang Yang Yang…
- Add To MetaCart
-
Inserting Safe Memory Reuse Commands into ML-like Programs
- …Inserting Safe Memory Reuse Commands into ML-like Programs ? Oukseh Lee, Hongseok Yang…
- Cited by 4 (2 self) – Add To MetaCart
-
Goal-directed weakening of abstract interpretation results. Submitted for publication
- …Goal-directed Weakening of Abstract Interpretation Results HONGSEOK YANG and SUNAE SEO…
- Cited by 1 (0 self) – Add To MetaCart
-
Boxes: Efficient maintenance of order-based labeling for dynamic XML data
- … He Ke Yi Jun Yang Department of Computer Science, Duke University, Durham, NC 27708, USA {adam…
- Cited by 14 (2 self) – Add To MetaCart
-
Efficient Maintenance of Materialized Top- � Views
- …Efficient Maintenance of Materialized Top-� Views Ke Yi, Hai Yu, Jun Yang Department of Computer…
- Cited by 1 (1 self) – Add To MetaCart
-
Automatic construction of hoare proofs from abstract interpretation results
- … Yang 2 , and Kwangkeun Yi 3 1 Department of Computer Science, Korea Advanced Institute of Science…
- Cited by 7 (0 self) – Add To MetaCart
-
Automatic verification of pointer programs using grammar-based shape analysis
- … , Hongseok Yang 2 , and Kwangkeun Yi 3 1 Dept. of Computer Science & Engineering, Hanyang University, Korea 2…
- Cited by 35 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
