1146 search results - page 218 / 230 » On the Complexity of Domain-Independent Planning |
137
Voted
DFG
2001
Springer
15 years 6 months ago
2001
Springer
: Using stereo-3D hardware in its different solutions is not new, but most available applications use these Hardware only for a better visualization of 3d-reconstructions. It is an...
101
click to vote
GIS
1999
ACM
15 years 6 months ago
1999
ACM
In urban areas, city noises represent today a great problem. They are real nuisances for city-dwellers. Noises are caused by traffic, road works, factories, and also by people. So...
147
click to vote
ZUM
1997
Springer
15 years 6 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
113
click to vote
PPSN
1994
Springer
15 years 5 months ago
1994
Springer
The Reproductive Plan Language 2 (RPL2) is an extensible interpreted language for writing and using evolutionary computing programs. It supports arbitrary genetic representations,...
108
click to vote
ELPUB
2007
ACM
15 years 5 months ago
2007
ACM
In September 2004 the Italian Ministry of Cultural Heritage and Activities (MiBAC) committed to Scuola Normale Superiore di Pisa (SNS) the scientific and technical project for the...