Sciweavers

4890 search results - page 478 / 978
» From system specifications to component behavioral models
Sort
View
CVPR
2009
IEEE
17 years 2 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
ICTAI
2007
IEEE
16 years 1 months ago
ExOpaque: A Framework to Explain Opaque Machine Learning Models Using Inductive Logic Programming
In this paper we developed an Inductive Logic Programming (ILP) based framework ExOpaque that is able to extract a set of Horn clauses from an arbitrary opaque machine learning mo...
Yunsong Guo, Bart Selman
DATE
2003
IEEE
151views Hardware» more  DATE 2003»
16 years 14 days ago
Analysis and White-Box Modeling of Weakly Nonlinear Time-Varying Circuits
The architectural study of wireless communication systems typically requires simulations with high-level models for different analog and RF blocks. Among these blocks, frequency-t...
Petr Dobrovolný, Gerd Vandersteen, Piet Wam...
CIBSE
2008
ACM
15 years 9 months ago
Using Refinement Checking as System Testing
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
Cristiano Bertolini, Alexandre Mota
VLSID
2004
IEEE
138views VLSI» more  VLSID 2004»
16 years 7 months ago
Synthesis-driven Exploration of Pipelined Embedded Processors
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
Prabhat Mishra, Arun Kejariwal, Nikil Dutt