2373 search results - page 371 / 475 » On the Theory of Structural Subtyping |
184
click to vote
CVBIA
2005
Springer
15 years 12 months ago
2005
Springer
Cardiopulmonary imaging is a key tool in modern diagnostic and interventional medicine. Automated analysis of MRI or ultrasound video is complicated by limitations on the image qua...
176
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
168
click to vote
ICAPR
2005
Springer
15 years 12 months ago
2005
Springer
There is need for more formal specification of recognition tasks. Currently, it is common to use labeled training samples to illustrate the task to be performed. The mathematical ...
165
click to vote
ICDT
2005
ACM
15 years 12 months ago
2005
ACM
The existence of a language expressing precisely the PTIME queries on arbitrary structures remains the central open problem in the theory of database query languages. As it turns o...
157
click to vote
ICFCA
2005
Springer
15 years 12 months ago
2005
Springer
Minimal generators (or mingen) constitute a remarkable part of the closure space landscape since they are the antipodes of the closures, i.e., minimal sets in the underlying equiva...