562 search results - page 71 / 113 » Algorithm Visualization: The State of the Field |
122
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
113
click to vote
SIAMCO
2002
15 years 2 months ago
2002
In this paper we give sufficient conditions for a bang-bang regular extremal to be a strong local optimum for a control problem in the Mayer form; strong means that we consider the...
107
click to vote
TACAS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
148
click to vote
ICCV
2009
IEEE
16 years 5 months ago
2009
IEEE
In this paper we propose a novel computational method to infer visual saliency in images. The method is based on the idea that salient objects should have local characteristics tha...
127
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents the dynamics of multi-agent reinforcement learning in multiple state problems. We extend previous work that formally modelled the relation between reinforcemen...