5216 search results - page 970 / 1044 » Planning as Model Checking |
116
click to vote
BIS
2009
15 years 3 days ago
2009
Abstract. The quality of today's digital maps is very high. This allows for new functionality as illustrated by modern car navigation systems (e.g., TomTom, Garmin, etc.), Goo...
HPDC
2010
IEEE
15 years 3 days ago
2010
IEEE
Grid computing has been widely adopted for intensive high performance computing. Since grid resources are distributed over complex large-scale infrastructures, understanding grid ...
HPDC
2010
IEEE
15 years 3 days ago
2010
IEEE
Cloud computing is increasingly considered as an additional computational resource platform for scientific workflows. The cloud offers opportunity to scale-out applications from d...
ENVSOFT
2006
14 years 11 months ago
2006
Norway's second largest gas field, Ormen Lange, is located 140 km west off Kristiansund at an unprecedented depth when it comes to exploration. It will be the first Norwegian...
MIS
2006
Springer
14 years 11 months ago
2006
Springer
LiveMail is a prototype system that allows mobile subscribers to communicate using personalized 3D face models created from images taken by their phone cameras. The user takes a s...