Searching for authors named "Xin Yu" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Distributed Cache Updating for the Dynamic Source Routing Protocol
- …Distributed Cache Updating for the Dynamic Source Routing Protocol Xin Yu Department of Computer…
- Add To MetaCart
-
Improving TCP performance over mobile ad hoc networks by exploiting cross-layer information awareness
- … ACM 1-58113-868-7/04/0009 ...$5.00. Xin Yu Department of Computer Science Courant Institute…
- Cited by 20 (0 self) – Add To MetaCart
-
A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings
- … Nogin Alexei Kopylov Xin Yu Jason Hickey Department of Computer Science California Institute…
- Cited by 11 (2 self) – Add To MetaCart
-
Formalizing Abstract Algebra in Type Theory with Dependent Records
- …Formalizing Abstract Algebra in Type Theory with Dependent Records Xin Yu 1 , Aleksey Nogin 1…
- Cited by 6 (2 self) – Add To MetaCart
-
Formalizing abstract algebra in constructive set theory
- …Formalizing Abstract Algebra in Constructive Set Theory Xin Yu and Jason J. Hickey California…
- Cited by 2 (1 self) – Add To MetaCart
-
A Listing of MetaPRL Theories
- … Nogin Xin Yu Last Updated: July 29, 2003 1 This work is supported in part by the DoD Multidisciplinary…
- Cited by 1 (1 self) – Add To MetaCart
-
A Listing of MetaPRL Theories 1
- … Nogin Xin Yu Last Updated: August 24, 2006 1 This work is supported in part by the DoD Multidisciplinary…
- Add To MetaCart
-
Enhancing Neural Confidence-Based Segmentation For Cursive Handwriting Recognition
- …, Xin Yu Liu, Michael Blumenstein and Vallipuram Muthukkumarasamy School of Information Technology…
- Cited by 2 (1 self) – Add To MetaCart
-
MetaPRL - A Modular Logical Environment
- … , Stephan Schmitt 5 , Carl Witty 6 , and Xin Yu 1 1 Department of Computer Science, California…
- Cited by 5 (1 self) – Add To MetaCart
Showing 1 through 9.
