613 search results - page 57 / 123 » Executable Visual Contracts |
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— Vision is one of the most powerful sensory modalities in robotics, allowing operation in dynamic environments. One of our long-term research interests is mobile manipulation, w...
WOB
2004
13 years 11 months ago
2004
ABSTRACT. The computationally challenging problem of reconstructing the phylogeny of a set of contemporary data, such as DNA sequences or morphological attributes, was treated by a...
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper, we present a novel reversible watermarking scheme for image authentication for JPEG/JPEG-2000 coded images. Since the watermarking scheme is reversible, the exact o...
HYBRID
2005
Springer
14 years 3 months ago
2005
Springer
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
IWPC
2003
IEEE
14 years 3 months ago
2003
IEEE
Understanding performance and related issues in a complex system requires analyzing where and why the program spends its resources. In a reactive system such as a interactive appl...