8398 search results - page 1084 / 1680 » Optimal Software Testing |
195
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
Proponents of design notations tailored for specific application domains or reference architectures, often available in the form of UML stereotypes, motivate them by improved unde...
195
Voted
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
The Alloy tool-set has been gaining popularity as an alternative to traditional manual testing and checking for design correctness. Alloy uses a first-order relational logic for m...
182
Voted
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
195
Voted
IUI
2009
ACM
16 years 4 months ago
2009
ACM
We present a novel image classification technique for detecting multiple objects (called subobjects) in a single image. In addition to image classifiers, we apply spatial relati...
200
Voted
IUI
2009
ACM
16 years 4 months ago
2009
ACM
In music information retrieval (MIR), there are two main research directions, which are based either on a folder hierarchy and metadata, or on the actual acoustic content. We beli...