1547 search results - page 163 / 310 » The Isabelle Collections Framework |
117
Voted
ECCV
2010
Springer
15 years 2 months ago
2010
Springer
We propose a novel system for associating multi-target tracks across multiple non-overlapping cameras by an on-line learned discriminative appearance affinity model. Collecting rel...
126
click to vote
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
107
click to vote
ANTSW
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we present an approach to the cooperative transport of multiple objects in swarm robotics. The approach is motivated by the observation that the performance of cooper...
103
Voted
CIVR
2008
Springer
15 years 2 months ago
2008
Springer
Sites to share user-created video clips such as YouTube and Yahoo Video have become greatly popular in recent years. One of the challenges of such sites is, however, to prevent vi...
104
click to vote
FM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...