5230 search results - page 142 / 1046 » Dynamic Optimality -- Almost |
132
Voted
CIG
2005
IEEE
15 years 9 months ago
2005
IEEE
— We study by computer simulation a population of individuals playing the prisoner’s dilemma game. Each player has an invariable strategy (cooperate or defect) but the network ...
127
Voted
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
120
Voted
AMC
2005
15 years 3 months ago
2005
The behavior of the simplest forest fire model is studied in this paper through bifurcation analysis. The model is a second-order continuous-time impact model where vegetational g...
152
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
A framework for generating facial expressions from emotional states in daily conversation is described. The framework allows avatars to express the speaker’s state not just prot...
124
Voted
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Feature extraction and classification are two important components in pattern recognition. In this paper, we propose dynamic target classification in WSNs. The main idea of this a...