1010 search results - page 124 / 202 » A Database Approach to Distributed State Space Generation |
LOGCOM
2010
14 years 8 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
SIGMOD
2011
ACM
14 years 20 days ago
2011
ACM
Multimedia similarity search has been playing a critical role in many novel applications. Typically, multimedia objects are described by high-dimensional feature vectors (or point...
ESCIENCE
2007
IEEE
15 years 1 months ago
2007
IEEE
Provenance management has become increasingly important to support scientific discovery reproducibility, result interpretation, and problem diagnosis in scientific workflow enviro...
CVPR
2008
IEEE
15 years 12 months ago
2008
IEEE
Human motion tracking is an important problem in computer vision. Most prior approaches have concentrated on efficient inference algorithms and prior motion models; however, few c...
VCIP
2003
14 years 11 months ago
2003
This paper presents an approach to capture visual appearance of a real environment such as an interior of a room. We propose the method for generating arbitrary viewpoint images b...