1131 search results - page 171 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
121
Voted
DAC
2006
ACM
15 years 2 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
88
Voted
CORR
2008
Springer
15 years 17 days ago
2008
Springer
Abstract The Little-Hopfield neural network programmed with Horn clauses is studied. We argue that the energy landscape of the system, corresponding to the inconsistency function f...
112
Voted
AMC
2006
15 years 16 days ago
2006
This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churc...
101
click to vote
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...
108
click to vote
SAS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...