613 search results - page 57 / 123 » Executable Visual Contracts |
137
click to vote
ICRA
2005
IEEE
15 years 10 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...
136
click to vote
WOB
2004
15 years 6 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...
142
click to vote
ICMCS
2005
IEEE
15 years 10 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...
126
click to vote
HYBRID
2005
Springer
15 years 10 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...
128
Voted
IWPC
2003
IEEE
15 years 10 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...