1054 search results - page 12 / 211 » Determining Computing Science's Role |
CADE
2006
Springer
15 years 10 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
LICS
2006
IEEE
15 years 3 months ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
GI
2005
Springer
15 years 3 months ago
2005
Springer
: The concept of symbolic or semantic locations significantly simplifies the development of several applications that access location information in mobile scenarios. This paper mo...
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
SOFSEM
2009
Springer
15 years 6 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...