12452 search results - page 2149 / 2491 » An exploration of program as language |
187
click to vote
CP
2004
Springer
16 years 2 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...
188
click to vote
DEXA
2004
Springer
16 years 2 days ago
2004
Springer
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 ...
172
click to vote
EAGC
2004
Springer
16 years 2 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...
167
click to vote
ECAI
2004
Springer
16 years 2 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...
179
click to vote
EUROSPI
2004
Springer
16 years 2 days ago
2004
Springer
Post-mortem project reviews often yield useful lessons learned. These project reviews are mostly recorded in plain text. This makes it difficult to derive useful overall findings ...