Sciweavers

10622 search results - page 1816 / 2125
» Python Programming Language
Sort
View
CP
2004
Springer
16 years 1 days ago
Quality of LP-Based Approximations for Highly Combinatorial Problems
We study the quality of LP-based approximation methods for pure combinatorial problems. We found that the quality of the LPrelaxation is a direct function of the underlying constra...
Lucian Leahu, Carla P. Gomes
CP
2004
Springer
16 years 1 days ago
Speeding Up Constraint Propagation
This paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keepi...
Christian Schulte, Peter J. Stuckey
DEXA
2004
Springer
180views Database» more  DEXA 2004»
16 years 1 days ago
Algebra-to-SQL Query Translation for Spatio-Temporal Databases
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
Mohammed Minout, Esteban Zimányi
EAGC
2004
Springer
16 years 1 days ago
Dependable Global Computing with JaWS++
In this paper we propose a computational grid platform called JaWS++ that seeks to harvest the power of idle pools of workstations connected through the Internet and integrate them...
George Kakarontzas, Spyros Lalis
ECAI
2004
Springer
16 years 1 days ago
Representing Beliefs in the Fluent Calculus
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
Yi Jin, Michael Thielscher
« Prev « First page 1816 / 2125 Last » Next »