5634 search results - page 390 / 1127 » About Abstract Classes |
170
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
185
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Dominance constraints are widely used in computational linguistics as a language for talking and reasoning about trees. In this paper, we extend dominance constraints by ...
272
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
167
click to vote
SIGCSE
1999
ACM
15 years 11 months ago
1999
ACM
In order to build a data structure that is extensible and reusable, it is necessary to decouple the intrinsic and primitive behavior of the structure from the application specific...
203
click to vote
GW
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The use of gesture as a natural interface serves as a motivating force for research in modeling, analyzing and recognition of gestures. In particular, human computer inte...