32 search results - page 7 / 7 » Hierarchical and Modular Reasoning in Complex Theories: The ... |
LICS
2008
IEEE
14 years 20 days ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
CIKM
2009
Springer
14 years 25 days ago
2009
Springer
With the ubiquity of information networks and their broad applications, the issue of similarity computation between entities of an information network arises and draws extensive r...