278 search results - page 26 / 56 » A Framework for Counterexample Generation and Exploration |
CLEIEJ
2008
13 years 8 months ago
2008
A lot of material has been written about wavelet theory. Most of these texts provide an elegant framework from the functional and real analysis point of view. The complete infinit...
CLADE
2003
IEEE
14 years 1 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
MIR
2010
ACM
13 years 10 months ago
2010
ACM
This paper presents a classification-driven biomedical image retrieval system to bride the semantic gap by transforming image features to their global categories at different gran...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we present a probabilistic framework for the reduction in the uncertainty of a moving robot pose during exploration by using a second robot to assist. A Monte Carlo ...
EUROMED
2010
13 years 7 months ago
2010
Abstract. In this paper we present the framework for collaborative cyberarchaeology with support for teleimmersive communication which aims to provide more natural interaction and ...