Sciweavers

3020 search results - page 359 / 604
» The Motif Tracking Algorithm
Sort
View
COORDINATION
2008
Springer
15 years 8 months ago
How to Infer Finite Session Types in a Calculus of Services and Sessions
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
Leonardo Gaetano Mezzina
AROBOTS
2010
138views more  AROBOTS 2010»
15 years 5 months ago
A provably complete exploration strategy by constructing Voronoi diagrams
We present novel exploration algorithms and a control law that enables the construction of Voronoi diagrams over unknown areas using a single vehicle equipped with range sensors. T...
Jonghoek Kim, Fumin Zhang, Magnus Egerstedt
ECCV
2002
Springer
16 years 8 months ago
Building Roadmaps of Local Minima of Visual Models
Getting trapped in suboptimal local minima is a perennial problem in model based vision, especially in applications like monocular human body tracking where complex nonlinear para...
Cristian Sminchisescu, Bill Triggs
ICRA
2002
IEEE
104views Robotics» more  ICRA 2002»
15 years 11 months ago
Improbability Filtering for Rejecting False Positives
—In this paper we describe a novel approach, called improbability filtering, to rejecting false-positive observations from degrading the tracking performance of an Extended Kalma...
Brett Browning, Michael H. Bowling, Manuela M. Vel...
ISSTA
2010
ACM
15 years 10 months ago
Strict control dependence and its effect on dynamic information flow analyses
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang...