4341 search results - page 551 / 869 » Quantitative Model checking |
173
click to vote
ROBOTICA
2008
15 years 6 months ago
2008
This paper studies the mechanical configuration and the periodic gaits of multi-legged locomotion systems based on its kinematic and dynamic models. The purpose is to determine the...
175
click to vote
IGPL
2010
15 years 5 months ago
2010
Reputation and trust are useful instruments in multi-agent systems to evaluate agent behaviour. Most of the works on trust and reputation adopt a quantitative representation of the...
141
Voted
MANSCI
2010
15 years 5 months ago
2010
This paper introduces time-tradeoff (TTO) sequences as a new tool to analyze time inconsistency and intertemporal choice. TTO sequences simplify the measurement of discount functio...
183
click to vote
BMVC
2010
15 years 4 months ago
2010
We present a novel off-line algorithm for target segmentation and tracking in video. In our approach, video data is represented by a multi-label Markov Random Field model, and seg...
146
Voted
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
A novel system for long-term tracking of a human face in unconstrained videos is built on Tracking-Learning-Detection (TLD) approach. The system extends TLD with the concept of a ...