Sciweavers

5945 search results - page 368 / 1189
» A Model for Projection and Action
Sort
View
ISOLA
2010
Springer
15 years 5 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
199
Voted
ISSRE
2008
IEEE
16 years 1 months ago
Cost Curve Evaluation of Fault Prediction Models
Prediction of fault prone software components is one of the most researched problems in software engineering. Many statistical techniques have been proposed but there is no consen...
Yue Jiang, Bojan Cukic, Tim Menzies
220
Voted
APN
1994
Springer
15 years 11 months ago
Modelling the Work Flow of a Nuclear Waste Management Program
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
Kjeld Høyer Mortensen, Valerio O. Pinci
ICCV
2005
IEEE
16 years 9 months ago
Geometric Invariants and Applications under Catadioptric Camera Model
This paper presents geometric invariants of points and their applications under central catadioptric camera model. Although the image has severe distortions under the model, we es...
Yihong Wu, Zhanyi Hu
ICCV
2001
IEEE
16 years 9 months ago
A General Imaging Model and a Method for Finding its Parameters
Linear perspective projection has served as the dominant imaging model in computer vision. Recent developments in image sensing make the perspective model highly restrictive. This...
Michael D. Grossberg, Shree K. Nayar