5216 search results - page 784 / 1044 » Planning as Model Checking |
180
click to vote
ISQED
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper proposes an efficient automation platform that provides fast and reliable path to analog circuit design for desired specifications. Circuit heuristics and hierarchy a...
159
click to vote
ADAEUROPE
2005
Springer
16 years 2 days ago
2005
Springer
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS...
166
click to vote
DEXA
2005
Springer
16 years 2 days ago
2005
Springer
The rapidly growing web technologies and electronic commerce applications have stimulated the need of personalized and group decision support functionalities in eTourism intermedia...
188
click to vote
WAC
2005
Springer
16 years 7 hour ago
2005
Springer
Abstract. In this paper we describe ConStruct, a distributed, contextaggregation based service infrastructure which supports the development of context-aware applications. ConStruc...
157
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
In real world applications, agents - be they software agents or autonomous robots - inevitably face erroneous situations that have not been planned for. Re-planning can sometimes ...