Sciweavers

13383 search results - page 2486 / 2677
» Abstractions from proofs
Sort
View
ICDM
2009
IEEE
223views Data Mining» more  ICDM 2009»
14 years 5 months ago
Execution Anomaly Detection in Distributed Systems through Unstructured Log Analysis
Abstract -- Detection of execution anomalies is very important for the maintenance, development, and performance refinement of large scale distributed systems. Execution anomalies ...
Qiang Fu, Jian-Guang Lou, Yi Wang, Jiang Li
ICRA
2009
IEEE
165views Robotics» more  ICRA 2009»
14 years 5 months ago
Collision avoidance in dynamic environments: An ICS-based solution and its comparative evaluation
Abstract— This paper presents ICS-AVOID, a collision avoidance scheme based upon the concept of Inevitable Collision State (ICS), ie a state for which, no matter what the future ...
Luis Martinez-Gomez, Thierry Fraichard
ICRA
2009
IEEE
121views Robotics» more  ICRA 2009»
14 years 5 months ago
Exploiting angular momentum to enhance bipedal center-of-mass control
Abstract— Recent humanoid control investigations have emphasized the importance of controlling whole-body angular momentum throughout a movement task. For typical movement tasks,...
Andreas Hofmann, Marko B. Popovic, Hugh M. Herr
ICRA
2009
IEEE
149views Robotics» more  ICRA 2009»
14 years 5 months ago
LSH-RANSAC: An incremental scheme for scalable localization
Abstract— This paper addresses the problem of featurebased robot localization in large-size environments. With recent progress in SLAM techniques, it has become crucial for a rob...
Kenichi Saeki, Kanji Tanaka, Takeshi Ueda
ICST
2009
IEEE
14 years 5 months ago
Optimizing Probabilities of Real-Time Test Case Execution
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
Nicolás Wolovick, Pedro R. D'Argenio, Hongy...
« Prev « First page 2486 / 2677 Last » Next »