Sciweavers

11121 search results - page 279 / 2225
» Computing with Continuous Change
Sort
View
RAS
2008
150views more  RAS 2008»
15 years 3 months ago
Logic-based robot control in highly dynamic domains
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
Alexander Ferrein, Gerhard Lakemeyer
USAB
2010
15 years 2 months ago
An Experimental Investigation of the Akamai Adaptive Video Streaming
Akamai oers the largest Content Delivery Network (CDN) service in the world. Building upon its CDN, it recently started to offer High Denition (HD) video distribution using HTTP-...
Luca De Cicco, Saverio Mascolo
ACSAC
2010
IEEE
15 years 2 months ago
Analyzing and improving Linux kernel memory protection: a model checking approach
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...
Siarhei Liakh, Michael C. Grace, Xuxian Jiang
DASFAA
2011
IEEE
231views Database» more  DASFAA 2011»
14 years 8 months ago
Querying Moving Objects with Uncertainty in Spatio-Temporal Databases
Spatio-temporal uncertainty is a special feature of moving objects due to the inability of precisely capturing or predicting their continuously changing locations. Indeterminate lo...
Hechen Liu, Markus Schneider
AAAI
2011
14 years 4 months ago
A Switching Planner for Combined Task and Observation Planning
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
Moritz Göbelbecker, Charles Gretton, Richard ...