307 search results - page 25 / 62 » On Hierarchical Reasoning in Combinations of Theories |
162
click to vote
AH
2008
Springer
15 years 8 months ago
2008
Springer
In order to navigate huge document collections efficiently, tagged hierarchical structures can be used. For users, it is important to correctly interpret tag combinations. In this ...
113
click to vote
ISCI
2008
15 years 1 months ago
2008
The Semantic Web is the next step of the current Web where information will become more machine-understandable to support effective data discovery and integration. Hierarchical sc...
123
Voted
SEFM
2006
IEEE
15 years 7 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
129
click to vote
TSMC
2008
15 years 1 months ago
2008
The need to merge multiple sources of uncertain information is an important issue in many application areas, especially when there is potential for contradictions between sources. ...
LICS
2005
IEEE
15 years 7 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...