16725 search results - page 3296 / 3345 » Engineering Software Correctness |
185
Voted
VEE
2005
ACM
16 years 18 days ago
2005
ACM
Virtual Machine (VM) environments (e.g., VMware and Xen) are experiencing a resurgence of interest for diverse uses including server consolidation and shared hosting. An applicati...
180
click to vote
WWW
2005
ACM
16 years 18 days ago
2005
ACM
Integrating web sites to provide more efficient services is a very promising way in the Internet. For example searching house for rent based on train system or preparing a holiday...
247
click to vote
ARCS
2005
Springer
16 years 17 days ago
2005
Springer
We propose an active vision system for object acquisition. The core of our approach is a reinforcement learning module which learns a strategy to scan an object. The agent moves a...
190
click to vote
ATAL
2005
Springer
16 years 17 days ago
2005
Springer
This paper focuses on a framework for representing a team plan and its projections on individual agents. The team plan is represented with a coloured Petri net. Using the implicit...
207
Voted
ATAL
2005
Springer
16 years 17 days ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...