395 search results - page 31 / 79 » Encoding Algorithms for Logic Synthesis |
106
click to vote
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Don't-care conditions provide additional flexibility in logic synthesis and optimization. However, most work only focuses on the gate level because it is difficult to handle ...
120
Voted
AI
2011
Springer
14 years 9 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
126
Voted
WABI
2007
Springer
15 years 8 months ago
2007
Springer
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
94
Voted
ICCS
2009
Springer
15 years 9 months ago
2009
Springer
This paper is an extended abstract of the talk given at ICCS’09. Rules have long been considered as an essential component of knowledge-based systems. We focus here on conceptual...
108
Voted
ICCAD
2004
IEEE
15 years 11 months ago
2004
IEEE
Polynomial expressions are used to compute a wide variety of mathematical functions commonly found in signal processing and graphics applications, which provide good opportunities...