28 search results - page 1 / 6 » Efficient incremental algorithms for dynamic detection of li... |
SIGSOFT
2004
ACM
14 years 5 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
DAC
2005
ACM
14 years 5 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
MM
2003
ACM
13 years 9 months ago
2003
ACM
In this paper, we propose an approach that retrieves motion of objects from the videos based on the dynamic time warping of view invariant characteristics. The motion is represent...
SASO
2010
IEEE
13 years 2 months ago
2010
IEEE
Many large-scale distributed systems have been built with great complexity to run Internet services. Due to the heterogeneity and dynamics of complex systems, it is very difficult ...
CIDM
2007
IEEE
13 years 11 months ago
2007
IEEE
Outlier detection has recently become an important problem in many industrial and financial applications. This problem is further complicated by the fact that in many cases, outlie...