1285 search results - page 221 / 257 » Description Logic Reasoner: System Description |
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
118
click to vote
AOSE
2005
Springer
15 years 7 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
116
click to vote
TC
2008
15 years 1 months ago
2008
Since redundant number systems allow for constant time addition, they are often at the heart of modular multipliers designed for public key cryptography (PKC) applications. Indeed,...
121
click to vote
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
134
click to vote
SPIESR
2001
15 years 2 months ago
2001
In this paper, we examine emerging frontiers in the evolution of content-based retrieval systems that rely on an intelligent infrastructure. Here, we refer to intelligence as the ...