Sciweavers

761 search results - page 48 / 153
» Concise and Consistent Naming
Sort
View
ASM
2010
ASM
14 years 4 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
ADBIS
2005
Springer
147views Database» more  ADBIS 2005»
14 years 3 months ago
Declarative Data Fusion - Syntax, Semantics, and Implementation
In today’s integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other ...
Jens Bleiholder, Felix Naumann
HIPS
1998
IEEE
14 years 1 months ago
Constructive and Adaptable Distributed Shared Memory
Distributed shared memory (DSM) is a paradigm for programming distributed systems, which provides an alternative to the message passing model. DSM offers the agents of the system ...
Jordi Bataller, José M. Bernabéu-Aub...
CVPR
2009
IEEE
1119views Computer Vision» more  CVPR 2009»
15 years 4 months ago
Adaptive Contour Features in Oriented Granular Space for Human Detection and Segmentation
In this paper, a novel feature named Adaptive Contour Feature (ACF) is proposed for human detection and segmentation. This feature consists of a chain of a number of granules in...
Wei Gao (Tsinghua University), Haizhou Ai (Tsinghu...
ICIP
2003
IEEE
14 years 11 months ago
On automatic annotation of meeting databases
In this paper, we discuss meetings as an application domain for multimedia content analysis. Meeting databases are a rich data source suitable for a variety of audio, visual and m...
Daniel Gatica-Perez, Hervé Bourlard, Iain M...