3244 search results - page 116 / 649 » Extensions to Description Logics |
166
click to vote
SIMPRA
1998
15 years 6 months ago
1998
The paper deals with a unified environment for the design and implementation of control schemes. The widely used MATLAB-SIMULINK is used for control scheme description. The imple...
125
click to vote
AML
2008
15 years 6 months ago
2008
We study problems of Clote and Paris, concerning the existence of end extensions of models of n-collection. We continue the study of the notion of ` -fullness', begun by Wilki...
151
click to vote
CADE
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...
141
click to vote
DEXAW
2008
IEEE
16 years 23 days ago
2008
IEEE
Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...
293
click to vote
JBI
2011
15 years 1 months ago
2011
The Gene Ontology is being normalized and extended to include computable logical definitions. These definitions are partitioned into mutually exclusive cross-product sets, many of...