1746 search results - page 349 / 350 » A Constructive Semantics for ALC |
FIMH
2009
Springer
14 years 7 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...
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we present a systematic framework for recognizing realistic actions from videos “in the wild.” Such unconstrained videos are abundant in personal collections as...
169
click to vote
CC
2011
Springer
14 years 1 months ago
2011
Springer
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...
162
click to vote
KCAP
2011
ACM
14 years 11 days ago
2011
ACM
Gold standard mappings created by experts are at the core of alignment evaluation. At the same time, the process of manual evaluation is rarely discussed. While the practice of ha...
94
Voted
POPL
2011
ACM
14 years 10 days ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...