Sciweavers

2611 search results - page 114 / 523
» A Logic for Concepts and Similarity
Sort
View
EKAW
1999
Springer
15 years 6 months ago
Modeling Information Sources for Information Integration
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...
François Goasdoué, Chantal Reynaud
BIOTECHNO
2008
IEEE
15 years 8 months ago
Mathematical Description of Biological Structures and Mechanisms
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...
H. Joel Jeffrey
DATE
2007
IEEE
102views Hardware» more  DATE 2007»
15 years 8 months ago
Accurate and scalable reliability analysis of logic circuits
Reliability of logic circuits is emerging as an important concern that may limit the benefits of continued scaling of process technology and the emergence of future technology al...
Mihir R. Choudhury, Kartik Mohanram
LPNMR
2004
Springer
15 years 7 months ago
Logic Programs With Monotone Cardinality Atoms
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
V. Wiktor Marek, Ilkka Niemelä, Miroslaw Trus...
ISQED
2010
IEEE
128views Hardware» more  ISQED 2010»
15 years 6 months ago
Soft error rate determination for nanoscale sequential logic
We analyze the neutron induced soft error rate (SER) by modeling induced error pulse using two parameters, occurrence frequency and probability density function for the pulse widt...
Fan Wang, Vishwani D. Agrawal