1722 search results - page 128 / 345 » Generating Tests from Counterexamples |
129
click to vote
SSPR
2010
Springer
14 years 11 months ago
2010
Springer
Many approaches to learning classifiers for structured objects (e.g., shapes) use generative models in a Bayesian framework. However, state-of-the-art classifiers for vectorial d...
121
Voted
BMCBI
2006
15 years 19 days ago
2006
Background: The development of algorithms to infer the structure of gene regulatory networks based on expression data is an important subject in bioinformatics research. Validatio...
111
click to vote
ECCV
2002
Springer
16 years 2 months ago
2002
Springer
Estimating geometric structure from uncalibrated images accurately enough for high quality rendering is difficult. We present a method where only coarse geometric structure is trac...
91
Voted
ACSAC
2001
IEEE
15 years 4 months ago
2001
IEEE
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
119
Voted
ICSOC
2010
Springer
14 years 11 months ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...