5243 search results - page 301 / 1049 » Reasoning About Strategies |
198
click to vote
ISPW
1994
IEEE
15 years 11 months ago
1994
IEEE
All software projects are experiments in the sense of the scientific method because the outcomes are not known in advance, theories and hypotheses may be tested in the project emp...
181
click to vote
CAV
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
214
click to vote
CSSW
2007
15 years 8 months ago
2007
: The Relationship Finder is a tool for exploring connections between objects in a Semantic Web knowledge base. It offers a new way to get insights about elements in an ontology, i...
151
click to vote
EHCI
2001
15 years 8 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
192
click to vote
NAACL
1994
15 years 8 months ago
1994
The functionality of systems that extract information from texts can be specified quite simply: the input is a stream of texts and the output is some representation of the informa...