Sciweavers

2089 search results - page 66 / 418
» Finding Environment Guarantees
Sort
View
ALGOSENSORS
2008
Springer
14 years 1 days ago
Simple Robots in Polygonal Environments: A Hierarchy
With the current progress in robot technology and related areas, sophisticated moving and sensing capabilities are at hand to design robots capable of solving seemingly complex tas...
Jan Brunner, Matús Mihalák, Subhash ...
TROB
2002
89views more  TROB 2002»
13 years 9 months ago
Manipulability, force, and compliance analysis for planar continuum manipulators
Abstract--Continuum manipulators, inspired by the natural capabilities of elephant trunks and octopus tentacles, may find niche applications in areas like human
Ian A. Gravagne, Ian D. Walker
ICDE
2006
IEEE
164views Database» more  ICDE 2006»
14 years 11 months ago
New Sampling-Based Estimators for OLAP Queries
One important way in which sampling for approximate query processing in a database environment differs from traditional applications of sampling is that in a database, it is feasi...
Ruoming Jin, Leonid Glimcher, Chris Jermaine, Gaga...
IEEECIT
2005
IEEE
14 years 3 months ago
Effectively Maintaining Single View Consistency in Web Warehouses
Web warehouse provides high availability and efficiency by utilizing materialized webviews, which should be refreshed in time to keep freshness. During the refreshing, the consis...
Yan Zhang, Xiangdong Qin
CAV
2010
Springer
176views Hardware» more  CAV 2010»
14 years 14 days ago
Robustness in the Presence of Liveness
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...
Roderick Bloem, Krishnendu Chatterjee, Karin Greim...