8766 search results - page 630 / 1754 » Functional logic programming |
165
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper a constructive library-aware multilevel logic synthesis approach using symmetries is described. It integrates the technology-independent and technologydependent stag...
183
click to vote
AAAI
2004
15 years 7 months ago
2004
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief re...
161
click to vote
CSREAESA
2004
15 years 7 months ago
2004
- The model of a simple perceptron using phase-encoded inputs and complex-valued weights is presented. Multilayer two-input and three-input complex-valued neurons (CVNs) are implem...
210
click to vote
SIAMCOMP
2012
13 years 8 months ago
2012
Abstract. In the framework of Carter and Wegman, a k-independent hash function maps any k keys independently. It is known that 5independent hashing provides good expected performan...
157
click to vote
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes how the Erlang programming language could be extended with parameterized modules, in a way that is compatible with existing code. This provides a powerful way...