3552 search results - page 637 / 711 » Proof theory in the abstract |
151
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We propose a new representation for the domain of Definite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...
176
click to vote
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We propose an approach to many-valued contexts using formal descriptions instead of scaling. The underlying idea is the philosphical definition of a concept as a set of ...
183
click to vote
ICVS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Experimenting and building integrated, operational systems in computational vision poses both theoretical and practical challenges, involving methodologies from control t...
166
click to vote
ISMIR
2001
Springer
15 years 10 months ago
2001
Springer
Musical works form a key entity for music information retrieval. Explicit linkage of relationships among entities is critical for document-based information retrieval. Works conta...
309
click to vote
MICCAI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Virtual colonoscopy is a minimally invasive technique allowing early detection of colorectal polyps. A path or centerline through the colon can be very useful to perform ...