3082 search results - page 197 / 617 » Deviation Analysis: A New Use of Model Checking |
139
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a new method for analysis of center of pressure (COP) signals using Empirical Mode Decomposition (EMD). The EMD decomposes a COP signal into a finite set of b...
225
click to vote
ISPDC
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper presents a new approach for analyzing the performance of grid scheduling algorithms for tasks with dependencies. Finding the optimal procedures for DAG scheduling in Gr...
209
click to vote
CVPR
2005
IEEE
15 years 8 months ago
2005
IEEE
Background modeling and subtraction to detect new or moving objects in a scene is an important component of many intelligent video applications. Compared to a single camera, the u...
177
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—We present a new technique for statistical static timing analysis (SSTA) based on Markov chain Monte Carlo (MCMC), that allows fast and accurate estimation of the right-hand tai...
226
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...