Sciweavers

4520 search results - page 51 / 904
» Algebraic Techniques for Timed Systems
Sort
View
ICPR
2006
IEEE
16 years 2 months ago
Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques
In this work we propose a model (in)validation approach to gait recognition, using a system that tries to discriminate specific activities of people. The recognition process depar...
Roberto Lublinerman, Necmiye Ozay, Dimitrios Zarpa...
ACMSE
2006
ACM
15 years 7 months ago
Reconstructing networks using co-temporal functions
Reconstructing networks from time series data is a difficult inverse problem. We apply two methods to this problem using co-temporal functions. Co-temporal functions capture mathe...
Edward E. Allen, Anthony Pecorella, Jacquelyn S. F...
HASE
1998
IEEE
15 years 6 months ago
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
Ragavan Manian, Joanne Bechta Dugan, David Coppit,...
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
15 years 6 months ago
Advanced simulation and modeling techniques for hardware quality verification of digital systems
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
S. Forno, Stephen Rochel
ICCV
2011
IEEE
14 years 1 months ago
Optimizing Polynomial Solvers for Minimal Geometry Problems
In recent years polynomial solvers based on algebraic geometry techniques, and specifically the action matrix method, have become popular for solving minimal problems in computer...
Oleg Naroditsky, Kostas Daniilidis