3765 search results - page 573 / 753 » Formal Methods for Systems Engineering Behavior Models |
211
click to vote
KES
2007
Springer
15 years 6 months ago
2007
Springer
Chance discovery provides a way to find rare but very important events for future decision making. It can be applied to stock market prediction, earthquake alarm, intrusion detect...
210
click to vote
MVA
2007
15 years 8 months ago
2007
This paper presents a method for markerless human motion capture using a single camera. It uses tree-based filtering to efficiently propagate a probability distribution over pos...
187
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
In an election held in a noisy environment, agents may unintentionally perturb the outcome by communicating faulty preferences. We investigate this setting by introducing a theore...
178
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
171
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
This paper addresses distributed task allocation in complex scenarios modeled using the distributed constraint optimization problem (DCOP) formalism. We propose and evaluate a nov...