Sciweavers

1368 search results - page 85 / 274
» Challenges for Model-Integrating Components
Sort
View
HPDC
2006
IEEE
15 years 9 months ago
Materializing Highly Available Grids
Grids are becoming a mission-critical component in research and industry. The services they provide are thus required to be highly available, contributing to the vision of the Gri...
Mark Silberstein, Gabriel Kliot, Artyom Sharov, As...
CVPR
2009
IEEE
16 years 10 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
113
Voted
KDD
2001
ACM
163views Data Mining» more  KDD 2001»
16 years 3 months ago
Data Mining for Typhoon Image Collection
This paper introduces the application of data mining methods to the analysis and prediction of the typhoon. The testbed for this research is the typhoon image collection that we e...
Asanobu Kitamoto
ICSE
2007
IEEE-ACM
16 years 3 months ago
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
Patrice Chalin
137
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
CCVisu: automatic visual software decomposition
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
Dirk Beyer