1701 search results - page 45 / 341 » Computer Science and State Machines |
ACSC
2008
IEEE
14 years 11 months ago
2008
IEEE
Recurrent neural networks are able to store information about previous as well as current inputs. This "memory" allows them to solve temporal problems such as language r...
102
click to vote
SPIN
2010
Springer
14 years 7 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
TCS
2010
14 years 8 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
ACMSE
2010
ACM
14 years 4 months ago
2010
ACM
The sum of sine waves was used to evoke Steady State Visual Evoked Potentials (SSVEP). The SSVEP responses were elicited by visual stimuli in the form of a flickering light emitti...
108
click to vote
BMCBI
2007
14 years 9 months ago
2007
Background: A finite state machine manipulating information-carrying DNA strands can be used to perform autonomous molecular-scale computations at the cellular level. Results: We ...