Search Sciweavers | Sciweavers

22

DAC
2008
ACM

142views Computer Architecture» more DAC 2008»

On the role of timing masking in reliable logic circuit design

14 years 8 months ago

Soft errors, once only of concern in memories, are beginning to affect logic as well. Determining the soft error rate (SER) of a combinational circuit involves three main masking ...

Smita Krishnaswamy, Igor L. Markov, John P. Hayes

claim paper

Read More »

32

click to vote

AAAI
2007

139views Intelligent Agents» more AAAI 2007»

Logical Generative Models for Probabilistic Reasoning about Existence, Roles and Identity

13 years 10 months ago

Download www.aaai.org

In probabilistic reasoning, the problems of existence and identity are important to many different queries; for example, the probability that something that ﬁts some description...

David Poole

claim paper

Read More »

23

click to vote

AIMSA
2008
Springer

156views Artificial Intelligence» more AIMSA 2008»

A Logical Approach to Dynamic Role-Based Access Control

14 years 2 months ago

Download www.avantssar.eu

Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...

Philippe Balbiani, Yannick Chevalier, Marwa El Hou...

claim paper

Read More »

19

click to vote

LPNMR
1999
Springer

94views Automated Reasoning» more LPNMR 1999»

On the Role of Negation in Choice Logic Programs

13 years 12 months ago

Download tinf2.vub.ac.be

We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...

Marina De Vos, Dirk Vermeir

claim paper

Read More »

23

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

14 years 1 months ago