Sciweavers

1687 search results - page 92 / 338
» Personalizing Information Spaces: A Metadata Based Approach
Sort
View
ICRA
2005
IEEE
135views Robotics» more  ICRA 2005»
14 years 2 months ago
Sampling-Based Motion Planning Using Predictive Models
— Robotic motion planning requires configuration space exploration. In high-dimensional configuration spaces, a complete exploration is computationally intractable. Practical m...
Brendan Burns, Oliver Brock
CCS
2008
ACM
13 years 11 months ago
Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
Ralf Küsters, Tomasz Truderung
TIP
2008
177views more  TIP 2008»
13 years 9 months ago
Visual Tracking in High-Dimensional State Space by Appearance-Guided Particle Filtering
Abstract--In this paper, we propose a new approach, appearance-guided particle filtering (AGPF), for high degree-of-freedom visual tracking from an image sequence. This method adop...
Wen-Yan Chang, Chu-Song Chen, Yong-Dian Jian
MIR
2006
ACM
145views Multimedia» more  MIR 2006»
14 years 3 months ago
Similarity learning via dissimilarity space in CBIR
In this paper, we introduce a new approach to learn dissimilarity for interactive search in content based image retrieval. In literature, dissimilarity is often learned via the fe...
Giang P. Nguyen, Marcel Worring, Arnold W. M. Smeu...
ECCC
2007
99views more  ECCC 2007»
13 years 9 months ago
An Exponential Time/Space Speedup For Resolution
Satisfiability algorithms have become one of the most practical and successful approaches for solving a variety of real-world problems, including hardware verification, experime...
Philipp Hertel, Toniann Pitassi