8766 search results - page 390 / 1754 » Functional logic programming |
108
click to vote
ISMVL
2008
IEEE
15 years 10 months ago
2008
IEEE
Nanoscale multiple-valued logic systems require the development of nanometer scale integrated circuits and components. Due to limits in device physics, new components must be deve...
148
click to vote
ISMVL
2006
IEEE
15 years 9 months ago
2006
IEEE
Multiple-valued logic can be viewed as an alternative approach to solving many problems in transmission, storage, and processing of large and even increasing amounts of informatio...
125
Voted
IWFM
2003
15 years 4 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
173
Voted
ESANN
1997
15 years 4 months ago
1997
Two recently developed methods for extraction of crisp logical rules from neural networks trained with backpropagation algorithm are compared. Both methods impose constraints on th...
122
Voted
ICLP
1999
Springer
15 years 7 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...