Sciweavers

2525 search results - page 455 / 505
» A Framework for Semantic Gossiping
Sort
View
FUIN
2006
103views more  FUIN 2006»
13 years 8 months ago
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zh...
IVC
2006
115views more  IVC 2006»
13 years 8 months ago
A motion-based scene tree for compressed video content management
This paper describes a fully automatic content-based approach for browsing and retrieval of MPEG-2 compressed video. The first step of the approach is the detection of shot bounda...
Haoran Yi, Deepu Rajan, Liang-Tien Chia
DKE
2007
199views more  DKE 2007»
13 years 8 months ago
QMatch - Using paths to match XML schemas
Integration of multiple heterogeneous data sources continues to be a critical problem for many application domains and a challenge for researchers world-wide. With the increasing ...
Naiyana Tansalarak, Kajal T. Claypool
JLP
2006
81views more  JLP 2006»
13 years 8 months ago
Development graphs - Proof management for structured specifications
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
Till Mossakowski, Serge Autexier, Dieter Hutter
MAGS
2008
191views more  MAGS 2008»
13 years 8 months ago
Consensus ontologies in socially interacting MultiAgent systems
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...
Ergun Biçici