1701 search results - page 49 / 341 » Computer Science and State Machines |
ALIFE
2007
14 years 10 months ago
2007
Robert Rosen’s central theorem states that organisms are fundamentally different to machines, mainly because they are ‘‘closed with respect to effcient causation.’’ The p...
GI
2007
Springer
15 years 4 months ago
2007
Springer
: The use of technology to assist human decision making is not a novel idea. However, we argue that there is a need for a unified model which synthesizes and extends existing model...
104
click to vote
GI
2009
Springer
14 years 7 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
DLT
2009
14 years 7 months ago
2009
A stateless k-head two-way deterministic finite automaton (k-head 2DFA), has only one state, hence the designation stateless. Its transitions depends solely on the symbols currentl...
DNA
2005
Springer
15 years 3 months ago
2005
Springer
In the field of DNA computing, more and more efforts are made for constructing molecular machines made of DNA that work in vitro or in vivo. States of some of those machines are...