4573 search results - page 817 / 915 » Automated Reasoning |
135
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
183
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
149
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
164
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...
141
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...