14084 search results - page 2595 / 2817 » A Theory for Game Theories |
207
click to vote
OOPSLA
2005
Springer
16 years 23 days ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
190
click to vote
RTA
2005
Springer
16 years 23 days 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...
209
click to vote
SAGA
2005
Springer
16 years 23 days 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...
203
click to vote
STORYTELLING
2005
Springer
16 years 23 days 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 ...
197
click to vote
VSTTE
2005
Springer
16 years 23 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...