3527 search results - page 292 / 706 » Test Automation in Practice |
147
click to vote
TSD
2004
Springer
15 years 11 months ago
2004
Springer
This paper is about the automated production of dialogue models. The goal is to propose and validate a methodology that allows the production of finalized dialogue models (i.e. di...
156
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
133
Voted
ICAIL
2003
ACM
15 years 11 months ago
2003
ACM
Effective retrieval of court decisions is important. Automatically identifying legal concepts in the decision texts would be very helpful. In this paper we investigate how a stat...
141
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Daily experience with product designers, test and diagnosis engineers it is realized that the depth of interaction among them, ought be high for sucessfull diagnosis of analogue...
142
Voted
ITNG
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...