Sciweavers

18451 search results - page 3345 / 3691
» Selecting the
Sort
View
ISSTA
2004
ACM
15 years 10 months ago
Optimal strategies for testing nondeterministic systems
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Ni...
IUI
2004
ACM
15 years 10 months ago
An intelligent assistant for interactive workflow composition
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
Jihie Kim, Marc Spraragen, Yolanda Gil
JCDL
2004
ACM
181views Education» more  JCDL 2004»
15 years 10 months ago
The 3D vase museum: a new approach to context in a digital library
We present a new approach to displaying and browsing a digital library collection, a set of Greek vases in the Perseus digital library. Our design takes advantage of three-dimensi...
Horn-yeu Shiaw, Robert J. K. Jacob, Gregory R. Cra...
MIR
2004
ACM
236views Multimedia» more  MIR 2004»
15 years 10 months ago
Boosting contextual information in content-based image retrieval
We present a new framework for characterizing and retrieving objects in cluttered scenes. This CBIR system is based on a new representation describing every object taking into acc...
Jaume Amores, Nicu Sebe, Petia Radeva, Theo Gevers...
MIR
2004
ACM
143views Multimedia» more  MIR 2004»
15 years 10 months ago
A graphical user interface for a fine-art painting image retrieval system
For describing and analyzing digital images of paintings we propose a model to serve as the basis for an interactive image retrieval system. The model defines two types of feature...
Thomas E. Lombardi, Sung-Hyuk Cha, Charles C. Tapp...
« Prev « First page 3345 / 3691 Last » Next »