11022 search results - page 174 / 2205 » Programming Systems for Autonomy |
177
click to vote
TOOLS
1998
IEEE
15 years 9 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...
171
click to vote
APLAS
2003
ACM
15 years 10 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
154
click to vote
TODS
2012
13 years 7 months ago
2012
B-trees have been ubiquitous in database management systems for several decades, and they serve in many other storage systems as well. Their basic structure and their basic operat...
138
click to vote
OWLED
2007
15 years 6 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
120
Voted
CC
2009
Springer
15 years 11 months ago
2009
Springer