4039 search results - page 759 / 808 » A Method for Dynamic Clustering of Data |
PEPM
2009
ACM
15 years 8 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
117
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper presents an algorithm for recovering the globally optimal 2D human figure detection using a loopy graph model. This is computationally challenging because the time comp...
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
— The increasing infectious disease outbreaks has led to a need for new research to better understand the disease’s origins, epidemiological features and pathogenicity caused b...
101
click to vote
DASFAA
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. Continuous spatial queries retrieve a set of time-varying objects continuously during a given period of time. However, monitoring moving objects to maintain the correctne...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...