140 search results - page 14 / 28 » Active Symbols in Pure Systems |
122
click to vote
SIGMOD
1993
ACM
15 years 3 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...
188
Voted
ICFP
2009
ACM
16 years 9 days 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...
112
click to vote
APIN
2006
14 years 11 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 11 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...
106
click to vote
CORR
2011
Springer
14 years 6 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...