6607 search results - page 142 / 1322 » Making TeX Work |
133
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
112
click to vote
IWCMC
2006
ACM
15 years 9 months ago
2006
ACM
This paper introduces a novel symbolic positioning system based on wireless access points and Support Vector Machines. The system works both indoors and outdoors and is cost-effec...
120
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Embedded software continues to play an ever increasing role in the design of complex embedded applications. In part, the elevel of abstraction provided by a high-level programming...
98
Voted
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper introduces our efforts to create UPX, an XML-based successor to the venerable UNIPEN format for the representation of annotated datasets of online handwriting data. In ...
138
click to vote
ICDCSW
2005
IEEE
15 years 9 months ago
2005
IEEE
Theorists and practitioners have fairly different perspectives on how wireless broadcast works. Theorists think about synchrony; practitioners think about backoff. Theorists assum...