Sciweavers

13336 search results - page 2224 / 2668
» Computer Vision: Algorithms and Applications
Sort
View
INFORMATICALT
2010
103views more  INFORMATICALT 2010»
15 years 6 months ago
Formal Correctness Proof for DPLL Procedure
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veri...
Filip Maric, Predrag Janicic
VC
2010
115views more  VC 2010»
15 years 6 months ago
Multi-rate coupling of physical simulations for haptic interaction with deformable objects
Abstract Real-time simulation of deformable objects involves many computational challenges to be solved, particularly in the context of haptic applications, where high update rates...
Guido Böttcher, Dennis Allerkamp, Franz-Erich...
ANTSW
2010
Springer
15 years 5 months ago
Formal Verification of Probabilistic Swarm Behaviours
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
Savas Konur, Clare Dixon, Michael Fisher
ICIP
2010
IEEE
15 years 5 months ago
Learning simple texture discrimination filters
Current texture analysis methods enable good discrimination but are computationally too expensive for applications which require high frame rates. This occurs because they use red...
Rui F. C. Guerreiro, Pedro M. Q. Aguiar
FOCM
2011
113views more  FOCM 2011»
15 years 2 months ago
Finite Resolution Dynamics
We develop a new mathematical model for describing a dynamical system at limited resolution (or finite scale), and we give precise meaning to the notion of a dynamical system havi...
Stefano Luzzatto, Pawel Pilarczyk
« Prev « First page 2224 / 2668 Last » Next »