Sciweavers

2056 search results - page 70 / 412
» time 2000
Sort
View
ECAI
2000
Springer
15 years 4 months ago
Continual Planning with Time-Oriented, Skeletal Plans
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...
Silvia Miksch, Andreas Seyfang
ECAI
2000
Springer
15 years 4 months ago
Towards Real-Time Search with Inadmissible Heuristics
Real-time search has two aspects, one as an efficient search method (in a single problem solving trial), and the other as an overall problem solving architecture with learning abi...
Masashi Shimbo, Toru Ishida
ESOP
2000
Springer
15 years 3 months ago
A Calculus for Link-Time Compilation
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
Elena Machkasova, Franklyn A. Turbak
RAID
2000
Springer
15 years 3 months ago
A Real-Time Intrusion Detection System Based on Learning Program Behavior
Abstract. In practice, most computer intrusions begin by misusing programs in clever ways to obtain unauthorized higher levels of privilege. One e ective way to detect intrusive ac...
Anup K. Ghosh, Christoph C. Michael, Michael Schat...
VECPAR
2000
Springer
15 years 3 months ago
A SCOOPP Evaluation on Packing Parallel Objects in Run-Time
The SCOOPP (Scalable Object Oriented Parallel Programming) system is an hybrid compile and run-time system. SCOOPP dynamically scales OO applications on a wide range of target plat...
João Luís Sobral, Alberto José...