4372 search results - page 287 / 875 » Algorithmic Theories of Everything |
169
click to vote
ALDT
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. In this paper we explicitly model risk aversion in multiagent interactions. We propose an insurance mechanism that be can used by risk-averse agents to mitigate against r...
158
click to vote
ACSD
2007
IEEE
16 years 13 days ago
2007
IEEE
Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...
144
click to vote
IEEEICCI
2007
IEEE
16 years 11 days ago
2007
IEEE
— The theory that Electoral College is more stable than Direct Popular Vote is applied in face recognition. By simplly adopting most traditional PCA approach, the experiments in ...
147
click to vote
ATVA
2004
Springer
15 years 11 months ago
2004
Springer
This paper proposes a partial order reduction algorithm for timed trace theoretic verification in order to detect both safety failures and timing failures of timed circuits effic...
160
click to vote
FATES
2004
Springer
15 years 11 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...