8828 search results - page 1476 / 1766 » Formal methods in practice |
157
click to vote
GFKL
2007
Springer
16 years 28 days ago
2007
Springer
The so-called noise-component has been introduced by Banfield and Raftery (1993) to improve the robustness of cluster analysis based on the normal mixture model. The idea is to ad...
173
click to vote
ICCBR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Making case adaptation practical is a longstanding challenge for casebased reasoning. One of the impediments to widespread use of automated case adaptation is the adaptat...
205
click to vote
ISVC
2007
Springer
16 years 27 days ago
2007
Springer
In comparison with 2D face images, 3D face models have the advantage of being illumination and pose invariant, which provides improved capability of handling changing environments ...
205
click to vote
LCPC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
156
click to vote
LPNMR
2007
Springer
16 years 27 days ago
2007
Springer
Answer-set programming (ASP) has become an important paradigm for declarative problem solving in recent years. However, to further improve the usability of answer-set programs, the...