Sciweavers

Share
13 search results - page 1 / 3
» Detecting inconsistencies via universal reachability analysi...
Sort
View
ISSTA
2012
ACM
8 years 6 months ago
Detecting inconsistencies via universal reachability analysis
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...
Aaron Tomb, Cormac Flanagan
CAV
2010
Springer
206views Hardware» more  CAV 2010»
10 years 7 months ago
Dynamic Cutoff Detection in Parameterized Concurrent Programs
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...
Alexander Kaiser, Daniel Kroening, Thomas Wahl
AMR
2007
Springer
159views Multimedia» more  AMR 2007»
10 years 10 months ago
Automatically Detecting Members and Instrumentation of Music Bands Via Web Content Mining
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...
Markus Schedl, Gerhard Widmer
ICCV
1999
IEEE
11 years 6 months ago
Independent Component Analysis of Textures
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...
Roberto Manduchi, Javier Portilla
ECCV
2006
Springer
11 years 6 months ago
Detecting Doctored JPEG Images Via DCT Coefficient Analysis
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...
Junfeng He, Zhouchen Lin, Lifeng Wang, Xiaoou Tang
books