315 search results - page 19 / 63 » A generic type system for the Pi-calculus |
DEXA
1999
Springer
14 years 2 days ago
1999
Springer
: In an extensible database system, evaluation of a query plan is done in cooperation between a collection of operator implementation functions and a component of the DBMS that we ...
LPNMR
2001
Springer
14 years 7 days ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
SIGMOD
2005
ACM
14 years 8 months ago
2005
ACM
This paper proposes a generic framework for monitoring continuous spatial queries over moving objects. The framework distinguishes itself from existing work by being the first to ...
ER
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present an approach to support incremental navigation of structured information, where the structure is introduced by the data model and schema (if present) of a data ...