13 search results - page 1 / 3 » Detecting inconsistencies via universal reachability analysi... |
ISSTA
2012
ACM
11 years 7 months ago
2012
ACM
Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumption...
CAV
2010
Springer
13 years 7 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
AMR
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. In this paper, we present an approach to automatically detecting music band members and instrumentation using web content mining techniques. To this end, we combine a nam...
ICCV
1999
IEEE
14 years 6 months ago
1999
IEEE
The technique of independent component analysis (ICA) is applied for texture feature detection. In ICA an optimal transformation (with respect to the statistical structure of the i...
ECCV
2006
Springer
14 years 6 months ago
2006
Springer
Abstract. The steady improvement in image/video editing techniques has enabled people to synthesize realistic images/videos conveniently. Some legal issues may occur when a doctore...