10899 search results - page 208 / 2180 » The GP Programming System |
184
click to vote
PUC
2011
14 years 10 months ago
2011
OPEN is an ontology-based programming framework for rapid prototyping, sharing, and personalization of context-aware applications. Unlike previous systems that provide programming ...
127
Voted
CADE
2001
Springer
16 years 4 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
144
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
122
Voted
ICLP
2004
Springer
15 years 9 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
131
click to vote
ILP
2003
Springer
15 years 9 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...