1701 search results - page 194 / 341 » Computer Science and State Machines |
NN
2002
Springer
14 years 9 months ago
2002
Springer
It has recently been suggested that the nervous system employs forward models for the purpose of motor control. The evidence for this hypothetical computational structure comes fr...
132
click to vote
HPDC
2012
IEEE
13 years 16 days ago
2012
IEEE
Consider a multithreaded parallel application running inside a multicore virtual machine context that is itself hosted on a multi-socket multicore physical machine. How should the...
DAC
2005
ACM
15 years 11 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
DCC
2004
IEEE
15 years 9 months ago
2004
IEEE
A d-feedback-with-carry shift register (d-FCSR) is a finite state machine, similar to a linear feedback shift register, in which a small amount of memory and a delay (by d-clock c...
87
Voted
AI
2009
Springer
15 years 4 months ago
2009
Springer
Despite the impressive amount of recent studies devoted to improving the state of the art of Machine Translation (MT), Computer Assisted Translation (CAT) tools remain the preferre...