1527 search results - page 227 / 306 » From Requirements to Design: Formalizing the Key Steps |
ICCV
2005
IEEE
2005
IEEE
Mutual Information-Based 3D Surface Matching with Applications to Face Recognition and Brain Mapping
14 years 2 months ago
Face recognition and many medical imaging applications require the computation of dense correspondence vector fields that match one surface with another. In brain imaging, surfac...
DATE
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—Reducing resource usage is one of the most important optimization objectives in behavioral synthesis due to its direct impact on power, performance and cost. The datapat...
CHI
1994
ACM
14 years 18 days ago
1994
ACM
ToolglassTM widgets are new user interface tools that can appear, as though on a transparent sheet of glass, between an application and a traditional cursor. They can be positione...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
This paper outlines an ontology for characterising architecture frameworks. The ontology is based on the metamodel of MAF, and is currently being tried out on a set of well-known e...