5216 search results - page 923 / 1044 » Planning as Model Checking |
98
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— When analyzed in the tangential speed domain, human movements exhibit a multi-peaked speed profile which is commonly interpreted as evidence for submovements. At slow speeds, ...
129
Voted
ADBIS
2009
Springer
15 years 10 months ago
2009
Springer
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...
122
click to vote
ESAW
2009
Springer
15 years 10 months ago
2009
Springer
Artificial agents, people, institutes and societies all have the ability to make decisions. Decision making as a research area therefore involves a broad spectrum of sciences, ran...
128
Voted
FDG
2009
ACM
15 years 10 months ago
2009
ACM
Successful lighting in video games is more than a physically accurate illumination model. Aesthetics and function are of equal or greater importance. Lighting designers may deviat...
143
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Current methods of estimating air quality involve assigning a single value called the Air Quality Index (AQI) to a large land area for a 24-hour period based on a very few, sparse...