Sciweavers

3954 search results - page 65 / 791
» Image-based Model Completion
Sort
View
95
Voted
ENTCS
2008
125views more  ENTCS 2008»
15 years 2 months ago
Quantum Arrows in Haskell
We argue that a realistic model for quantum computations should be general with respect to measurements, and complete with respect to the information flow between the quantum and ...
Juliana Kaizer Vizzotto, Antônio Carlos da R...
108
Voted
BPM
2008
Springer
147views Business» more  BPM 2008»
15 years 4 months ago
Business Process Modelling with Continuous Validation
In this paper, we demonstrate the prototype of a modelling tool that applies graph-based rules for identifying problems in business process models. The advantages of our approach a...
Stefan Kühne, Heiko Kern, Volker Gruhn, Ralf ...
EDBTW
2006
Springer
15 years 6 months ago
Models for Incomplete and Probabilistic Information
Abstract. We discuss, compare and relate some old and some new models for incomplete and probabilistic databases. We characterize the expressive power of c-tables over infinite dom...
Todd J. Green, Val Tannen
154
Voted
ACCV
2006
Springer
15 years 8 months ago
Virtual Fashion Show Using Real-Time Markerless Motion Capture
Abstract. This paper presents a motion capture system using two cameras that is capable of estimating a constrained set of human postures in real time. We first obtain a 3D shape ...
Ryuzo Okada, Björn Stenger, Tsukasa Ike, Nobu...
101
Voted
AAAI
2007
15 years 4 months ago
Model-lite Planning for the Web Age Masses: The Challenges of Planning with Incomplete and Evolving Domain Models
The automated planning community has traditionally focused on the efficient synthesis of plans given a complete domain theory. In the past several years, this line of work met wi...
Subbarao Kambhampati