9067 search results - page 1483 / 1814 » Adaptive Model Checking |
279
click to vote
Publication
The user’s behavior and his interpretation of interactions with others is influenced by his cultural background, which provides a number of heuristics or patterns of behavior and...
214
click to vote
CEEMAS
2007
Springer
15 years 11 months ago
2007
Springer
Multi-Agent Systems (MAS) in health-care domains are showing a rapid increase, in order to manage complex tasks and adapt gracefully to unexpected events. On the other hand, the la...
255
click to vote
CIVR
2010
Springer
15 years 11 months ago
2010
Springer
The Signature Quadratic Form Distance is an adaptive similarity measure for flexible content-based feature representations of multimedia data. In this paper, we present a deep su...
196
click to vote
HPCC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Energy consumption is a major factor that limits the performance of sensor applications. Sensor nodes have varying sampling rates since they face continuously changing en...
228
click to vote
HUMO
2007
Springer
15 years 11 months ago
2007
Springer
We propose a method to find candidate 2D articulated model configurations by searching for locally optimal configurations under a weak but computationally manageable fitness functi...