2302 search results - page 223 / 461 » Basic Description Logics |
143
click to vote
JAR
2007
15 years 5 months ago
2007
ACL2(r) is a modified version of the theorem prover ACL2 that adds support for the irrational numbers using non-standard analysis. It has been used to prove basic theorems of anal...
183
Voted
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
—Database technology is the significant part of computer science and technology, as the core technology of information management, database technology is widely used in the field...
127
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
: There has been an abundance of research within the last couple of decades in the area of multilevel secure (MLS) databases. Recent work in this field deals with the processing of...
190
click to vote
TASE
2007
IEEE
16 years 2 days ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
164
click to vote
DATE
2006
IEEE
15 years 12 months ago
2006
IEEE
Quantum information processing technology is in its pioneering stage and no proficient method for synthesizing quantum circuits has been introduced so far. This paper introduces a...