10575 search results - page 1720 / 2115 » Programming Languages |
211
Voted
CP
2004
Springer
16 years 28 days ago
2004
Springer
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...
179
click to vote
CP
2004
Springer
16 years 28 days ago
2004
Springer
This paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keepi...
191
Voted
EAGC
2004
Springer
16 years 28 days ago
2004
Springer
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...
198
Voted
ECAI
2004
Springer
16 years 28 days ago
2004
Springer
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...
215
click to vote
FLOPS
2004
Springer
16 years 28 days ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...