1435 search results - page 157 / 287 » E-connections of Description Logics |
107
click to vote
JAIR
2008
15 years 1 months ago
2008
In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In order to formalize these tasks as reasoning problems, we introduce the notions o...
128
click to vote
RML
2002
15 years 1 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...
115
click to vote
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
102
click to vote
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
We describe a family of reconfigurable parallel architectures for logic emulation. They are supposed to be applicable like conventional FPGAs, while covering a larger range of circ...
102
click to vote
DATE
1997
IEEE
15 years 5 months ago
1997
IEEE
Behavioral simulation is faster than gate-level logic simulation, however, the simulation speed is too slow for large systems. Simulation specific machines accelerated simulation ...