2838 search results - page 294 / 568 » Verifying Controlled Components |
118
Voted
GPEM
2006
15 years 2 months ago
2006
Abstract. Bedau et al.'s statistical classification system for long-term evolutionary dynamics provides a test for open-ended evolution. Making this test more rigorous, and pa...
141
click to vote
INTERNET
2006
15 years 2 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
146
Voted
IJNSEC
2007
15 years 2 months ago
2007
We describe an identity based signature scheme that uses biometric information to construct the public key. Such a scheme would be beneficial in many repudiation situations for e...
117
click to vote
CI
2005
15 years 2 months ago
2005
The TAC 2003 supply-chain game presented automated trading agents with a challenging strategic problem. Embedded within a high-dimensional stochastic environment was a pivotal str...
103
Voted
TSMC
2008
15 years 2 months ago
2008
This paper proposes a novel method to estimate the head yaw rotations based on the asymmetry of 2-D facial appearance. In traditional appearance-based pose estimation methods, feat...