5506 search results - page 684 / 1102 » Minimal Logic Programs |
190
click to vote
TABLEAUX
2007
Springer
16 years 27 days ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
141
click to vote
ISCAS
2006
IEEE
16 years 24 days ago
2006
IEEE
—The Delay Filtered Dual Interlocked storage Cell (DF-DICE) offers a scalable solution in different radiation environments for soft error mitigation. The area and speed performan...
143
click to vote
VTS
2005
IEEE
16 years 11 days ago
2005
IEEE
An automated design procedure is described for synthesizing circuits with low power concurrent error detection. It is based on pre-synthesis selection of a parity-check code follo...
150
click to vote
SIGMOD
2005
ACM
16 years 10 days ago
2005
ACM
There is a class of data, including messages and business workflow state, for which conventional monolithic databases are less than ideal. Performance and scalability of Applicati...
152
click to vote
FC
2005
Springer
16 years 9 days ago
2005
Springer
In this paper, we formulate the concept of policy-based cryptography which makes it possible to perform policy enforcement in large-scale open environments like the Internet, with ...