5216 search results - page 940 / 1044 » Planning as Model Checking |
148
click to vote
NGITS
1993
Springer
15 years 7 months ago
1993
Springer
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using...
112
click to vote
ICEGOV
2007
ACM
15 years 7 months ago
2007
ACM
Electronic Governance (e-Governance) has received a tremendous interest world over. Significant amount of money is being put into making e-Governance a reality. A number of Projec...
146
click to vote
APPROX
2006
Springer
15 years 7 months ago
2006
Springer
The data migration problem is to compute an efficient plan for moving data stored on devices in a network from one configuration to another. It is modeled by a transfer graph, wher...
231
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Factored representations, model-based learning, and hierarchies are well-studied techniques for improving the learning efficiency of reinforcement-learning algorithms in large-sca...
115
click to vote
DSVIS
2006
Springer
15 years 7 months ago
2006
Springer
We study the variations in two dimensional (2D) pointing tasks on a traditional white board of a group of subjects by means of capturing their movement traces in an automatic way w...