4617 search results - page 735 / 924 » Automation of Diagrammatic Reasoning |
182
click to vote
NMR
2004
Springer
16 years 14 days ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
205
click to vote
PPSWR
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
180
click to vote
HICSS
2003
IEEE
16 years 12 days ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
207
Voted
INFOCOM
2003
IEEE
16 years 11 days ago
2003
IEEE
— Efficient use of network resources has long been an important problem for large-scale network operators. To this end, several recent research efforts have proposed automated m...
167
click to vote
LICS
2003
IEEE
16 years 11 days ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...