1210 search results - page 143 / 242 » Specifying Precise Use Cases with Use Case Charts |
131
click to vote
WSC
1997
15 years 5 months ago
1997
One of the key issues in reasoning with multiple interacting intelligent agents is how to model and code the decision making process of the agents. In Artificial Intelligence (AI...
120
click to vote
INLG
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we propose a new shared task called HOO: Helping Our Own. The aim is to use tools and techniques developed in computational linguistics to help people writing about...
152
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
161
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Shannon defined channel capacity as the highest rate at which there exists a sequence of codes of block length n such that the error probability goes to zero as n goes to infinity....
145
click to vote
CSMR
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...