133 search results - page 14 / 27 » Combining Static and Dynamic Reasoning for Bug Detection |
AAAI
2007
13 years 10 months ago
2007
Several distributed constraint reasoning algorithms employ Depth First Search (DFS) trees on the constraint graph that spans involved agents. In this article we show that it is po...
ICPR
2000
IEEE
13 years 12 months ago
2000
IEEE
Techniques for color-based tracking of faces or hands often assume a static skin color model. However, skin color perceived by a camera can change when lighting changes. In common...
ICSE
2010
IEEE-ACM
14 years 10 days ago
2010
IEEE-ACM
Design pattern detection is a reverse engineering methodology that helps software engineers to analyze and understand legacy software by recovering its design and thereby aiding i...
ICIP
2008
IEEE
14 years 2 months ago
2008
IEEE
Traditional background modeling and subtraction methods have a strong assumption that the scenes are of static structures with limited perturbation. These methods will perform poo...
PODS
2009
ACM
14 years 8 months ago
2009
ACM
The B-tree is a fundamental external index structure that is widely used for answering one-dimensional range reporting queries. Given a set of N keys, a range query can be answere...