1992 search results - page 75 / 399 » Model Based Testing with Labelled Transition Systems |
147
Voted
EMNLP
2004
15 years 3 months ago
2004
Anticipating the availability of large questionanswer datasets, we propose a principled, datadriven Instance-Based approach to Question Answering. Most question answering systems ...
171
Voted
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
166
click to vote
TABLEAUX
2000
Springer
15 years 6 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
105
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
134
click to vote
SAM
2000
15 years 3 months ago
2000
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...