Sciweavers

2821 search results - page 161 / 565
» Tracing a single user
Sort
View
ICIP
1999
IEEE
16 years 8 months ago
A Toolbox for Interactive Segmentation Based on Nested Partitions
This paper presents a toolbox for interactive image segmentation based on a series of nested partitions of increasing coarseness. The user can navigate among the different resolut...
M. Francisca Zanoguera, Beatriz Marcotegui, Fernan...
ESWS
2009
Springer
16 years 1 months ago
RaDON - Repair and Diagnosis in Ontology Networks
Abstract. One of the major challenges in managing networked and dynamic ontologies is to handle inconsistencies in single ontologies, and inconsistencies introduced by integrating ...
Qiu Ji, Peter Haase, Guilin Qi, Pascal Hitzler, St...
SIGIR
2003
ACM
16 years 7 days ago
The MIND Architecture for Heterogeneous Multimedia Federated Digital Libraries
Abstract. In this paper we describe the architecture of the MIND system for federating multimedia digital libraries. MIND integrates heterogeneous, multimedia non-co-operating digi...
Henrik Nottelmann, Norbert Fuhr
ICADL
2003
Springer
127views Education» more  ICADL 2003»
16 years 6 days ago
An Architecture for Multischeming in Digital Libraries
Abstract. In this paper we discuss the problem of handling many classification schemes within the context of a single digital library concurrently, which we term multischeming. We...
Aaron Krowne, Edward A. Fox
TPHOL
1997
IEEE
15 years 11 months ago
Type Classes and Overloading in Higher-Order Logic
Type classes and overloading are shown to be independent concepts that can both be added to simple higher-order logics in the tradition of Church and Gordon, without demanding more...
Markus Wenzel