2088 search results - page 390 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
112
Voted
FIMH
2009
Springer
14 years 9 months ago
2009
Springer
Cardiac magnetic resonance (MR) imaging has advanced to become a powerful diagnostic tool in clinical practice. Automatic detection of anatomic landmarks from MR images is importan...
WWW
2008
ACM
16 years 13 days ago
2008
ACM
Learning to rank is a new statistical learning technology on creating a ranking model for sorting objects. The technology has been successfully applied to web search, and is becom...
CONSTRAINTS
2007
14 years 11 months ago
2007
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
117
click to vote
SCP
2010
14 years 10 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
124
click to vote
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
In real-world applications of visual recognition, many factors—such as pose, illumination, or image quality—can cause a significant mismatch between the source domain on whic...