Sciweavers

3823 search results - page 564 / 765
» Experiments with Random Projection
Sort
View
ICRA
2010
IEEE
159views Robotics» more  ICRA 2010»
15 years 4 months ago
An RRT-based path planner for use in trajectory imitation
We propose a more robust robot programming by demonstration system planner that produces a reproduction path which satisfies statistical constraints derived from demonstration traj...
Jonathan Claassens
MICCAI
2010
Springer
15 years 4 months ago
Improving Deformable Surface Meshes through Omni-Directional Displacements and MRFs
Abstract. Deformable surface models are often represented as triangular meshes in image segmentation applications. For a fast and easily regularized deformation onto the target obj...
Dagmar Kainmueller, Hans Lamecker, Heiko Seim, Ste...
SEMWEB
2010
Springer
15 years 4 months ago
JustBench: A Framework for OWL Benchmarking
Analysing the performance of OWL reasoners on expressive OWL ontologies is an ongoing challenge. In this paper, we present a new approach to performance analysis based on justifica...
Samantha Bail, Bijan Parsia, Ulrike Sattler
SSDBM
2010
IEEE
181views Database» more  SSDBM 2010»
15 years 4 months ago
Stratified Reservoir Sampling over Heterogeneous Data Streams
Reservoir sampling is a well-known technique for random sampling over data streams. In many streaming applications, however, an input stream may be naturally heterogeneous, i.e., c...
Mohammed Al-Kateb, Byung Suk Lee
TAP
2010
Springer
134views Hardware» more  TAP 2010»
15 years 4 months ago
Testing First-Order Logic Axioms in Program Verification
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
Ki Yung Ahn, Ewen Denney