3362 search results - page 26 / 673 » A definition of subjective possibility |
106
click to vote
APN
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, mos...
AML
2002
14 years 11 months ago
2002
Abstract Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have be...
120
click to vote
MICCAI
2004
Springer
16 years 20 days ago
2004
Springer
Extraction of structures of interest in medical images is often an arduous task because of noisy or incomplete data. However, handsegmented data are often available and most of the...
117
click to vote
KDD
2007
ACM
16 years 6 days ago
2007
ACM
This article tries to give an answer to a fundamental question in temporal data mining: "Under what conditions a temporal rule extracted from up-to-date temporal data keeps i...
178
click to vote
POPL
2004
ACM
16 years 3 days ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...