2488 search results - page 189 / 498 » An improvement in formal verification |
125
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
104
click to vote
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
SAS
2000
Springer
15 years 4 months ago
2000
Springer
d Abstract) James Riely1 and Jan Prins2 1 DePaul University 2 University of North Carolina at Chapel Hill Abstract. Flattening is a program transformation that eliminates nested pa...
139
click to vote
TKDE
2012
13 years 3 months ago
2012
— Recommender systems are becoming increasingly important to individual users and businesses for providing personalized recommendations. However, while the majority of algorithms...
112
click to vote
ICIP
2006
IEEE
16 years 2 months ago
2006
IEEE
A multimodal face verification process is presented for standard 2D color images, 2.5D range images and 3D meshes. A normalization in orientation and position is essential for 2.5...