Sciweavers

3224 search results - page 176 / 645
» Abstract Error Projection
Sort
View
ICRA
2010
IEEE
127views Robotics» more  ICRA 2010»
15 years 5 months ago
Probabilistically complete planning with end-effector pose constraints
Abstract— We present a proof for the probabilistic completeness of RRT-based algorithms when planning with constraints on end-effector pose. Pose constraints can induce lowerdime...
Dmitry Berenson, Siddhartha S. Srinivasa
ICTAC
2010
Springer
15 years 5 months ago
Formal Modelling of Separation Kernel Components
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
Andrius Velykis, Leo Freitas
ICDM
2010
IEEE
164views Data Mining» more  ICDM 2010»
15 years 4 months ago
Improved Consistent Sampling, Weighted Minhash and L1 Sketching
Abstract--We propose a new Consistent Weighted Sampling method, where the probability of drawing identical samples for a pair of inputs is equal to their Jaccard similarity. Our me...
Sergey Ioffe
WOA
2010
15 years 4 months ago
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
Matteo Baldoni, Cristina Baroglio, Federico Bergen...
HCI
2009
15 years 4 months ago
The 'H' in HCI: Enhancing Perception of Interaction through the Performative
Abstract. Motion sensing technologies are well developed at the biomechanical (motion capture) and geo-locative (GPS) scales. However, there are many degrees of scale between these...
Simon Biggs, Mariza Dima, Henrik Ekeus, Sue Hawksl...