Sciweavers

3318 search results - page 392 / 664
» The Weak Instance Model
Sort
View
ISORC
2000
IEEE
15 years 8 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
ICCV
1995
IEEE
15 years 8 months ago
Locating Objects Using the Hausdorff Distance
The Hausdorff distance is a measure defined between two point sets, here representing a model and an image. The Hausdorff distance is reliable even when the image contains multipl...
William Rucklidge
CPAIOR
2008
Springer
15 years 6 months ago
Optimal Deployment of Eventually-Serializable Data Services
Abstract. Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce signif...
Laurent Michel, Alexander A. Shvartsman, Elaine L....
APVIS
2010
15 years 6 months ago
Interactive volumetric lighting simulating scattering and shadowing
In this paper we present a volumetric lighting model, which simulates scattering as well as shadowing in order to generate high quality volume renderings. By approximating light t...
Timo Ropinski, Christian Döring, Christof Rez...
ECCV
2010
Springer
15 years 5 months ago
Piecewise Quadratic Reconstruction of Non-Rigid Surfaces from Monocular Sequences
Abstract. In this paper we present a new method for the 3D reconstruction of highly deforming surfaces (for instance a flag waving in the wind) viewed by a single orthographic came...
João Fayad, Lourdes de Agapito, Alessio Del...