13895 search results - page 2734 / 2779 » Exploration |
141
Voted
FIMH
2009
Springer
15 years 10 days 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...
123
Voted
GI
2009
Springer
15 years 10 days ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...
135
Voted
ICB
2009
Springer
15 years 9 days ago
2009
Springer
Face recognition with partial face images is an important problem in face biometrics. The necessity can arise in not so constrained environments such as in surveillance video, or p...
127
Voted
ICCAD
2009
IEEE
15 years 9 days ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
136
Voted
ICCAD
2009
IEEE
15 years 9 days ago
2009
IEEE
In a behavioral synthesis system, a typical approach used to guide the scheduler is to impose hard constraints on the relative timing between operations considering performance, a...