9521 search results - page 1691 / 1905 » Compiling with continuations, continued |
163
click to vote
CD
2004
Springer
15 years 12 months ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...
164
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
176
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
150
click to vote
EGOV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper describes PARMENIDES, a system which facilitates structured debate about government policy. 1 The PARMENIDES System The last two decades have seen a deliberati...
193
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum le...