10790 search results - page 313 / 2158 » Using feature models to automate model transformations |
179
click to vote
ECSQARU
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. There has recently been many proposals to adopt an argumentative approach to decision-making. As the underlying assumptions made in these different approaches are not al...
177
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
171
click to vote
DASFAA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Advances in sensing and satellite technologies and the growth of Internet have resulted in the easy accessibility of vast amount of spatial data. Extracting useful knowle...
196
click to vote
PAMI
1998
15 years 6 months ago
1998
—In this paper, we propose an analytic-to-holistic approach which can identify faces at different perspective variations. The database for the test consists of 40 frontal-view fa...
180
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
We propose a new algorithm for two-phase, piecewise-smooth segmentation with shape prior. The image is segmented by a binary template that is deformed by a regular geometric transf...