Sciweavers

3575 search results - page 10 / 715
» Modeling Concurrency with Geometry
Sort
View
44
Voted
CGA
2008
14 years 9 months ago
Generating Semantic 3D Models of Underground Infrastructure
Erick Méndez, Gerhard Schall, Sven Havemann...
CGA
2008
14 years 9 months ago
Procedural Urban Modeling in Practice
Benjamin Watson, Pascal Müller, Oleg Veryovka...
CGA
2007
14 years 9 months ago
Managing Complex Augmented Reality Models
Dieter Schmalstieg, Gerhard Schall, Daniel Wagner,...
AAAI
2004
14 years 11 months ago
Reconstruction of 3D Models from Intensity Images and Partial Depth
This paper addresses the probabilistic inference of geometric structures from images. Specifically, of synthesizing range data to enhance the reconstruction of a 3D model of an in...
Luz Abril Torres-Méndez, Gregory Dudek
JOT
2008
200views more  JOT 2008»
14 years 9 months ago
Applying Model Checking to Concurrent UML Models
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
Patrice Gagnon, Farid Mokhati, Mourad Badri