15792 search results - page 194 / 3159 » Computational Abstraction Steps |
165
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. High-speed image measurements of fluid flows define an important field of research in experimental fluid mechanics and the related industry. Numerous competing methods ha...
156
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The need for adaptive and personalized Rich Internet Application puts a new dimension to already existing approaches of Adaptive Hypermedia Systems. Instead of computing ...
138
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract-- We propose distributed algorithms to automatically deploy a group of robotic agents and provide coverage of a discretized environment represented by a graph. The classic...
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
187
click to vote
IJCV
2008
15 years 6 months ago
2008
Abstract There are billions of photographs on the Internet, comprising the largest and most diverse photo collection ever assembled. How can computer vision researchers exploit thi...