19700 search results - page 10 / 3940 » DNA-Based Computation Times |
COMPUTER
2002
13 years 7 months ago
2002
SCIENTOMETRICS
2010
13 years 2 months ago
2010
This paper proves two regularities that where found in the paper [V. Larivi
FUIN
2010
13 years 4 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
ECCC
2000
13 years 7 months ago
2000
Deterministic k-tape and multitape Turing machines with one-way, two-way and without a separated input tape are considered. We investigate the classes of languages acceptable by s...
NIPS
1993
13 years 8 months ago
1993
We propose a learning algorithm for a variable memory length Markov process. Human communication, whether given as text, handwriting, or speech, has multi characteristic time scal...