3824 search results - page 546 / 765 » Geometry Constructions Language |
136
Voted
AAAI
1996
15 years 4 months ago
1996
This paper presents recent work using the Chill parser acquisition system to automate the construction of a natural-language interface for database queries. Chill treats parser ac...
112
Voted
LFP
1994
15 years 4 months ago
1994
We present the rst system for estimating and using datadependent expression execution times in a language with rst-class procedures and imperative constructs. The presence of rst-...
160
Voted
ACS
2008
15 years 3 months ago
2008
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...
125
Voted
CGF
2008
15 years 3 months ago
2008
We present a part-type segmentation method for articulated voxel-shapes based on curve skeletons. Shapes are considered to consist of several simpler, intersecting shapes. Our met...
120
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...