440 search results - page 49 / 88 » Predicate Abstraction with Indexed Predicates |
136
click to vote
COLING
1992
15 years 6 months ago
1992
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...
128
click to vote
ENTCS
2000
15 years 4 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
166
Voted
CORR
2011
Springer
15 years 16 hour ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
171
click to vote
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
109
Voted
SIGMOD
1996
ACM
15 years 9 months ago
1996
ACM
Repositories of multimedia objects having multiple types of attributes e.g., image, text are becoming increasingly common. A selection on these attributes will typically produce n...