Sciweavers

48 search results - page 10 / 10
» Conformance Testing from UML Specifications. Experience Repo...
Sort
View
CVPR
2004
IEEE
14 years 6 months ago
Multiple Bernoulli Relevance Models for Image and Video Annotation
Retrieving images in response to textual queries requires some knowledge of the semantics of the picture. Here, we show how we can do both automatic image annotation and retrieval...
Shaolei Feng, Raghavan Manmatha, Victor Lavrenko
PRL
2006
221views more  PRL 2006»
13 years 4 months ago
Towards on-line saccade planning for high-resolution image sensing
This paper considers the problem of designing an active observer to plan a sequence of decisions regarding what target to look at, through a foveal-sensing action. We propose a fr...
Alberto Del Bimbo, Federico Pernici
OSDI
2002
ACM
14 years 5 months ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...