2381 search results - page 359 / 477 » On Ordering Descriptions in a Description Logic |
106
click to vote
KBSE
1998
IEEE
15 years 5 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
125
click to vote
DLOG
2007
15 years 4 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
114
click to vote
DLOG
2007
15 years 4 months ago
2007
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...
124
click to vote
CAISE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
123
click to vote
FPGA
2008
ACM
15 years 3 months ago
2008
ACM
This paper introduces a method of constructing random number generators from four of the basic primitives provided by FPGAs: Flip-Flips, Lookup-Tables, Shift Registers, and RAMs. ...