3573 search results - page 191 / 715 » Reasoning about Codata |
114
Voted
SAT
2004
Springer
15 years 9 months ago
2004
Springer
This paper reports about the 2004 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the second in a series of non-competitive events established with the a...
124
Voted
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
123
Voted
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
87
Voted
TGIS
2008
15 years 3 months ago
2008
Assessing spatial scenes for similarity is difficult from a cognitive and computational perspective. Solutions to spatial-scene similarity assessments are sensible only if corresp...
115
Voted
KBS
1998
15 years 3 months ago
1998
In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at...