10575 search results - page 1720 / 2115 » Programming Languages |
192
click to vote
CP
2004
Springer
16 years 6 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...
166
click to vote
CP
2004
Springer
16 years 6 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...
175
click to vote
EAGC
2004
Springer
16 years 5 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...
174
Voted
ECAI
2004
Springer
16 years 5 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...
189
Voted
FLOPS
2004
Springer
16 years 5 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...