1492 search results - page 107 / 299 » Automatic Software Model Checking Using CLP |
82
Voted
DAGSTUHL
2009
14 years 11 months ago
2009
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...
106
Voted
CODES
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...
69
Voted
SAC
2009
ACM
15 years 5 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
ICCV
1999
IEEE
16 years 1 days ago
1999
IEEE
We show that we can effectively and automatically fit a complex facial animation model to uncalibrated image sequences. Our approach is based on model-driven bundleadjustment foll...
AICCSA
2006
IEEE
15 years 3 days ago
2006
IEEE
In this paper we apply a machine learning approach to the problem of estimating the number of defects called Regression via Classification (RvC). RvC initially automatically discr...