Sciweavers

5615 search results - page 303 / 1123
» On the Computational Capabilities of Several Models
Sort
View
COMPUTER
2006
160views more  COMPUTER 2006»
15 years 7 months ago
Developing Applications Using Model-Driven Design Environments
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
Krishnakumar Balasubramanian, Aniruddha S. Gokhale...
SMA
2008
ACM
173views Solid Modeling» more  SMA 2008»
15 years 7 months ago
Visibility-based feature extraction from discrete models
In this paper, we present a new visibility-based feature extraction algorithm from discrete models as dense point clouds resulting from laser scans. Based on the observation that ...
Antoni Chica
CSL
2001
Springer
15 years 12 months ago
Categorical and Kripke Semantics for Constructive S4 Modal Logic
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
Natasha Alechina, Michael Mendler, Valeria de Paiv...
CGI
1998
IEEE
15 years 11 months ago
Automatic 3D Model Acquisition from Uncalibrated Image Sequences
In this paper the problem of obtaining 3D models from image sequences is addressed. The proposed method deals with uncalibrated monocular image sequences. No prior knowledge about...
Reinhard Koch, Marc Pollefeys, Luc J. Van Gool
198
Voted
UAI
2001
15 years 8 months ago
Toward General Analysis of Recursive Probability Models
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
Daniel Pless, George F. Luger