8099 search results - page 492 / 1620 » Higher-Order Task Models |
225
click to vote
ICCV
1998
IEEE
16 years 8 months ago
1998
IEEE
We describe a exible model for representing images of objects of a certain class, known a priori, such as faces, and introduce a new algorithm for matching it to a novel image and...
197
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
Automated medical image segmentation is a challenging task that benefits from the use of effective image appearance models. In this paper, we compare appearance models at three reg...
163
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
190
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
The Unified Modeling Language (UML) is considered as the lingua franca in software engineering. Despite various web modeling languages having emerged in the past decade, in the fie...
147
click to vote
CAISE
2004
Springer
16 years 10 days ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...