4617 search results - page 835 / 924 » Automation of Diagrammatic Reasoning |
174
click to vote
ICDM
2005
IEEE
16 years 12 days ago
2005
IEEE
It is estimated that ninety percent of the world’s species have yet to be discovered and described. The main reason for the slow pace of new species description is that the scie...
166
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
174
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem...
146
click to vote
LICS
2005
IEEE
16 years 11 days 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...
208
click to vote
LICS
2005
IEEE
16 years 11 days 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...