Sciweavers

780 search results - page 9 / 156
» Combining a Formal with an Example-driven Approach for Data ...
Sort
View
FMCAD
2007
Springer
14 years 27 days ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
ICDE
2005
IEEE
126views Database» more  ICDE 2005»
14 years 10 months ago
A Probabilistic XML Approach to Data Integration
In mobile and ambient environments, devices need to become autonomous, managing and resolving problems without interference from a user. The database of a (mobile) device can be s...
Maurice van Keulen, Ander de Keijzer, Wouter Alink
ICFCA
2010
Springer
14 years 3 months ago
Approaches to the Selection of Relevant Concepts in the Case of Noisy Data
Concept lattices built on noisy data tend to be large and hence hard to interpret. We introduce several measures that can be used in selecting relevant concepts and discuss how the...
Mikhail Klimushkin, Sergei A. Obiedkov, Camille Ro...
CVPR
2009
IEEE
15 years 4 months ago
Multi-view 3D Human Pose Estimation combining Single-frame Recovery, Temporal Integration and Model Adaptation
We present a system for the estimation of unconstrained 3D human upper body movement from multiple cameras. Its main novelty lies in the integration of three components: single-...
Dariu M. Gavrila, Michael Hofmann
AICCSA
2001
IEEE
103views Hardware» more  AICCSA 2001»
14 years 20 days ago
Seamless Integration of Control Flow and Data Flow in a Visual Language
In the visual programming domain, the stress of research is laid on the use of visual formalism, which is considered to be more intuitive than the textual formalism, in the progra...
Honitriniela Randriamparany, Bertrand Ibrahim