1776 search results - page 282 / 356 » Hypothesis Testing for Module Test in Software Development |
123
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
128
click to vote
ISAAC
1995
Springer
15 years 5 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
111
Voted
CASCON
2008
15 years 3 months ago
2008
Netpal is a web-based dynamic knowledge base system designed to assist network administrators in their troubleshooting tasks, in recalling and storing experience, and in identifyi...
115
click to vote
HCI
2007
15 years 3 months ago
2007
We present our current research on the implementation of gaze as an efficient and usable pointing modality supplementary to speech, for interacting with augmented objects in our da...
111
Voted
AAAI
2004
15 years 3 months ago
2004
Learning how to create, test, and revise models is a central skill in scientific reasoning. We argue that qualitative modeling provides an appropriate level of representation for ...