2043 search results - page 320 / 409 » Reasoning About Security Models |
120
click to vote
ICIAR
2005
Springer
15 years 6 months ago
2005
Springer
A novel region-based multiple object tracking framework based on Kalman filtering and elastic matching is proposed. The proposed Kalman filtering-elastic matching model is genera...
112
Voted
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
99
Voted
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Much emphasis in multiagent reinforcement learning (MARL) research is placed on ensuring that MARL algorithms (eventually) converge to desirable equilibria. As in standard reinfor...
109
Voted
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Computer vision algorithms for individual tasks such as object recognition, detection and segmentation have shown impressive results in the recent past. The next challeng...
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...