306 search results - page 9 / 62 » Underspecified computation of normal forms |
TYPES
2007
Springer
14 years 1 months ago
2007
Springer
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
Making decisions based on a linear combination L of features is of course very common in pattern recognition. For distinguishing between two hypotheses or classes, the test is of ...
MICCAI
2004
Springer
14 years 8 months ago
2004
Springer
This paper introduces a new technique to detect the coronary arteries as well as other heart's peripheral vessels. After finding the location of the myocardium through a graph...
NECO
2008
13 years 7 months ago
2008
The functions of sleep have been an enduring mystery. Recently, Tononi and Cirelli hypothesized that one of the functions of slow-wave sleep is to scale down synapses in the corte...
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
Named entity recognition is important for semantically oriented retrieval tasks, such as question answering, entity retrieval, biomedical retrieval, trend detection, and event and...