Sciweavers

9284 search results - page 298 / 1857
» Knowledge State Algorithms
Sort
View
ALGORITHMICA
2000
106views more  ALGORITHMICA 2000»
15 years 7 months ago
Algorithms for Sensorless Manipulation Using a Vibrating Surface
We describe a programmable apparatus that uses a vibrating surface for sensorless, nonprehensile manipulation, where parts are systematically positioned and oriented without sensor...
Karl-Friedrich Böhringer, Vivek Bhatt, Bruce ...
TACAS
2010
Springer
167views Algorithms» more  TACAS 2010»
16 years 2 months ago
Antichain Algorithms for Finite Automata
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
Laurent Doyen, Jean-François Raskin
175
Voted
ECCV
2010
Springer
15 years 8 months ago
A High-Quality Video Denoising Algorithm Based on Reliable Motion Estimation
Although the recent advances in the sparse representations of images have achieved outstanding denosing results, removing real, structured noise in digital videos remains a challen...
Ce Liu, William T. Freeman
GI
2009
Springer
15 years 5 months ago
Tracking Algorithms for Bistatic Sonar Systems
: An active sonar system consists of a sound source activating a surveillance area and a receiver listening for echoes reflected from targets. In a bistatic setup, the source and t...
Martina Daun, Frank Ehlers
294
Voted
CODCRY
2011
Springer
264views Cryptology» more  CODCRY 2011»
14 years 10 months ago
Algorithms for the Shortest and Closest Lattice Vector Problems
We present the state of the art solvers of the Shortest and Closest Lattice Vector Problems in the Euclidean norm. We recall the three main families of algorithms for these problem...
Guillaume Hanrot, Xavier Pujol, Damien Stehl&eacut...