Sciweavers

4689 search results - page 261 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
ICRA
2010
IEEE
148views Robotics» more  ICRA 2010»
15 years 4 months ago
An integrated probabilistic model for scan-matching, moving object detection and motion estimation
Abstract-- This paper presents a novel framework for integrating fundamental tasks in robotic navigation through a statistical inference procedure. A probabilistic model that joint...
Joop van de Ven, Fabio Ramos, Gian Diego Tipaldi
ICRA
1994
IEEE
87views Robotics» more  ICRA 1994»
15 years 10 months ago
Experiments in Object Impedance Control for Flexible Objects
This paper presents a control strategy for manipulation of exible objects by multiple robot arms. The control policy developed in this paper for exible objects is based on a contr...
David W. Meer, Stephen M. Rock
RTSS
1997
IEEE
15 years 11 months ago
On-the-fly symbolic model checking for real-time systems
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine
CASCON
2000
119views Education» more  CASCON 2000»
15 years 8 months ago
Efficient mapping of software system traces to architectural views
Information about a software system's execution can help a developer with many tasks, including software testing, performance tuning, and program understanding. In almost all...
Robert J. Walker, Gail C. Murphy, Jeffrey Steinbok...
CLEF
2009
Springer
15 years 7 months ago
Information Retrieval Baselines for the ResPubliQA Task
This paper describes the baselines proposed for the ResPubliQA 2009 task. These baselines are purely based on information retrieval techniques. The selection of an adequate retrie...
Joaquín Pérez-Iglesias, Guillermo Ga...