4488 search results - page 656 / 898 » Properties of NP-Complete Sets |
137
click to vote
ERLANG
2006
ACM
15 years 12 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
153
click to vote
ISSTA
2006
ACM
15 years 12 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
158
click to vote
ISSTA
2006
ACM
15 years 12 months ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
125
click to vote
IUI
2006
ACM
15 years 12 months ago
2006
ACM
Question-answering dialogue systems have found many applications in interactive learning environments. This paper is concerned with one such application for Army leadership traini...
163
click to vote
MIR
2006
ACM
15 years 12 months ago
2006
ACM
This paper presents a new interest points detector whose goal is to better catch visual attention than standard detectors. It is based on the generalization of Loy and Zelinsky tr...