14084 search results - page 2595 / 2817 » A Theory for Game Theories |
177
click to vote
OOPSLA
2005
Springer
16 years 1 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...
160
click to vote
RTA
2005
Springer
16 years 1 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...
177
click to vote
SAGA
2005
Springer
16 years 1 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...
171
click to vote
STORYTELLING
2005
Springer
16 years 1 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 ...
165
click to vote
VSTTE
2005
Springer
16 years 1 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...