140 search results - page 14 / 28 » Active Symbols in Pure Systems |
110
Voted
SIGMOD
1993
ACM
15 years 1 months ago
1993
ACM
We describe the design and implementation of the Glue-Nail database system. The Nail language is a purely declarative query language; Glue is a procedural language used for nonque...
168
click to vote
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...
APIN
2006
14 years 9 months ago
2006
The problem of service and resource matching is being actively discussed currently as a new challenging task for the next generation of semantic discovery approaches for Web servic...
IJRR
2002
14 years 9 months ago
2002
This paper presents two object manipulation planning methods based on fitted stratified and semi-stratified approaches using finger relocations. The problem is discussed in the fr...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decompos...