4426 search results - page 383 / 886 » Concurrent Constraint Programming |
202
click to vote
SUM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
180
click to vote
JMLC
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
158
click to vote
FOCS
1991
IEEE
15 years 10 months ago
1991
IEEE
We perform linear programming optimizations on the intersection of k polyhedra in R3 , represented by their outer recursive decompositions, in expected time O(k log k log n + √ ...
172
click to vote
PAAPP
2002
15 years 6 months ago
2002
We demonstrate that the run time of implicitly parallel programs can be statically predicted with considerable accuracy when expressed within the constraints of a skeletal, shapel...
144
click to vote
HCI
2007
15 years 8 months ago
2007
Ambient intelligence involves synthesising data from a range of sources in order to exhibit meaningful adaptive behaviour without explicit user direction, driven by inputs from lar...