1589 search results - page 202 / 318 » Constraints with Variables' Annotations |
ECOOP
2007
Springer
14 years 4 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
We present an object recognition system that locates an object, identifies its parts, and segments out its contours. A key distinction of our approach is that we use long, salien...
HT
2004
ACM
14 years 3 months ago
2004
ACM
WARP is a Web-based dynamic spatial hypertext that runs in a Web browser. WARP includes the ability to transclude other spatial hypertexts as collections. WARP also enables annota...
PLDI
1996
ACM
14 years 2 months ago
1996
ACM
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...
CAV
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...