Sciweavers

1069 search results - page 15 / 214
» A framework for characterization and analysis of software sy...
Sort
View
ECCV
2004
Springer
14 years 10 months ago
A Robust Algorithm for Characterizing Anisotropic Local Structures
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...
Kazunori Okada, Dorin Comaniciu, Navneet Dalal, Ar...
CASES
2009
ACM
14 years 3 months ago
Towards scalable reliability frameworks for error prone CMPs
As technology scales and the energy of computation continually approaches thermal equilibrium [1,2], parameter variations and noise levels will lead to larger error rates at vario...
Joseph Sloan, Rakesh Kumar
CDC
2008
IEEE
128views Control Systems» more  CDC 2008»
14 years 2 months ago
An LMI framework for analysis and design of multi-dimensional haptic systems
— This paper introduces a convenient framework based on passivity and Linear Matrix Inequalities (LMIs) for stability analysis and controller design for haptic systems involving ...
Gianni Bianchini, Marcello Orlandesi, Domenico Pra...
ICFEM
2004
Springer
14 years 1 months ago
A Formal Monitoring-Based Framework for Software Development and Analysis
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
Feng Chen, Marcelo d'Amorim, Grigore Rosu
HICSS
2003
IEEE
126views Biometrics» more  HICSS 2003»
14 years 1 months ago
Measuring Cognitive Load with EventStream Software Framework
We have constructed “EventStream” data collection and analysis software framework to support a wide variety of sensors that measure user’s physical state. The framework’s ...
Christoph Aschwanden, Jan Stelovsky