308 search results - page 30 / 62 » Layer Supported Models of Logic Programs |
115
click to vote
ENTCS
2002
15 years 1 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
131
click to vote
DAGSTUHL
1998
15 years 3 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
102
click to vote
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...
107
click to vote
ACMSE
2006
ACM
15 years 5 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
120
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...