8699 search results - page 1631 / 1740 » Elements of the Theory of Computation |
154
click to vote
RTA
2005
Springer
15 years 12 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
173
click to vote
SAGA
2005
Springer
15 years 12 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
168
click to vote
STORYTELLING
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents the mechanisms proposed by a generic cognitive architecture for virtual characters with emotional influenced behaviors, called cognitiva, to maintain behavior ...
176
click to vote
CASES
2004
ACM
15 years 12 months ago
2004
ACM
A coarse-grain multithreaded processor can effectively hide long memory latencies by quickly switching to an alternate task when the active task issues a memory request, improving...
195
click to vote
COMPGEOM
2004
ACM
15 years 12 months ago
2004
ACM
A frequently arising problem in computational geometry is when a physical structure, such as an ad-hoc wireless sensor network or a protein backbone, can measure local information...