7988 search results - page 229 / 1598 » A Useful Undecidable Theory |
86
Voted
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
This paper offers a provisional mathematical typology of metrical representations. First, a family of algebras corresponding to different versions of grid and bracketed grid theor...
76
Voted
IJCAI
1989
15 years 1 months ago
1989
Diagnostic tasks involve identifying faulty components from observations of symptomatic device behavior. This paper presents a general diagnostic theory that uses the perspective ...
133
Voted
SIGCOMM
2012
ACM
13 years 3 months ago
2012
ACM
Prefix hijacking has always been a big concern in the Internet. Some events made it into the international world-news, but most of them remain unreported or even unnoticed. The s...
98
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...
112
click to vote
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...