Sciweavers

984 search results - page 123 / 197
» ideas 2010
Sort
View
IANDC
2010
116views more  IANDC 2010»
14 years 11 months ago
Weak bisimulation is sound and complete for pCTL*
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
Josée Desharnais, Vineet Gupta, Radha Jagad...
ICIAR
2010
Springer
14 years 11 months ago
Adaptive Regularization Parameter for Graph Cut Segmentation
Abstract. Graph cut minimization formulates the segmentation problem as the liner combination of data and smoothness terms. The smoothness term is included in the energy formulatio...
Sema Candemir, Yusuf Sinan Akgul
100
Voted
ICRA
2010
IEEE
109views Robotics» more  ICRA 2010»
14 years 11 months ago
Simultaneous object class and pose estimation for mobile robotic applications with minimalistic recognition
Abstract— In this paper we address the problem of simultaneous object class and pose estimation using nothing more than object class label measurements from a generic object clas...
Alper Aydemir, Adrian N. Bishop, Patric Jensfelt
112
Voted
ICRA
2010
IEEE
145views Robotics» more  ICRA 2010»
14 years 11 months ago
High quality pose estimation by aligning multiple scans to a latent map
Abstract— We introduce a method for fast and accurate registration of multiple horizontal laser scans obtained by a mobile robot. The method is based on novel representation of t...
Qi-Xing Huang, Dragomir Anguelov
ICRA
2010
IEEE
141views Robotics» more  ICRA 2010»
14 years 11 months ago
Improvement of model-mediated teleoperation using a new hybrid environment estimation technique
— In a haptic teleoperation system, the incorporation of knowledge about the remote environment in the controller design can improve stability and performance. Model-mediated tel...
Andreas Achhammer, Carolina Weber, Angelika Peer, ...