Sciweavers

3823 search results - page 564 / 765
» Experiments with Random Projection
Sort
View
122
Voted
ICRA
2010
IEEE
159views Robotics» more  ICRA 2010»
15 years 20 days 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
155
Voted
MICCAI
2010
Springer
15 years 19 days 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 18 days 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
139
Voted
SSDBM
2010
IEEE
181views Database» more  SSDBM 2010»
15 years 18 days 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
144
Voted
TAP
2010
Springer
134views Hardware» more  TAP 2010»
15 years 18 days 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