4895 search results - page 502 / 979 » Functional Quantum Programming |
189
click to vote
LICS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
200
click to vote
DAC
2006
ACM
15 years 9 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 ...
185
click to vote
WOTUG
2008
15 years 8 months ago
2008
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...
132
click to vote
ANLP
2000
15 years 8 months ago
2000
ARBITER is a Prolog program that extracts assertions about macromolecular binding relationships from biomedical text. We describe the domain knowledge and the underspecified lingu...
194
click to vote
NIPS
1994
15 years 8 months ago
1994
This paper presents NeuroChess, a program which learns to play chess from the final outcome of games. NeuroChess learns chess board evaluation functions, represented by artificial...