8699 search results - page 85 / 1740 » Elements of the Theory of Computation |
CIE
2005
Springer
14 years 2 months ago
2005
Springer
WDAG
2001
Springer
14 years 1 months ago
2001
Springer
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...
EC
1998
13 years 8 months ago
1998
L. M. Adleman launched the field of DNA computing with a demonstration in 1994 that strands of DNA could be used to solve the Hamiltonian path problem for a simple graph. He also...
FLOPS
2006
Springer
14 years 16 days ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
MM
1996
ACM
14 years 1 months ago
1996
ACM
Narrative structure models are useful tools for understanding how and why narratives of any medium affect an audience's level of participation in their role of story reconstr...