1589 search results - page 202 / 318 » Constraints with Variables' Annotations |
149
click to vote
ECOOP
2007
Springer
16 years 14 days 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...
197
click to vote
CVPR
2010
IEEE
15 years 12 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...
158
click to vote
HT
2004
ACM
15 years 11 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...
162
click to vote
PLDI
1996
ACM
15 years 10 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...
187
click to vote
CAV
2010
Springer
15 years 10 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...