143 search results - page 6 / 29 » A Virtual Machine for Functional Logic Computations |
184
click to vote
EH
1999
IEEE
1999
IEEE
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints
15 years 3 months ago
Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraint...
106
click to vote
LCPC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. To solve problems that require far more memory than a single machine can supply, data can be swapped to disk in some manner, it can be compressed, and/or the memory of mu...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Support vector machines and kernel methods have recently gained considerable attention in chemoinformatics. They offer generally good performance for problems of supervised classi...
258
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
110
click to vote
CORR
2004
Springer
14 years 11 months ago
2004
Springer
: The Game of Life cellular automaton is a classical example of a massively parallel collision-based computing device. The automaton exhibits mobile patterns, gliders, and generato...