4075 search results - page 371 / 815 » Modeling Distributed Algorithm Using B |
201
click to vote
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
207
click to vote
IVC
2007
15 years 6 months ago
2007
In this paper, we propose a new technique to perform figure-ground segmentation in image sequences of moving objects under varying illumination conditions. Unlike most of the alg...
189
click to vote
MANSCI
2007
15 years 6 months ago
2007
Selection procedures are used in a variety of applications to select the best of a finite set of alternatives. ‘Best’ is defined with respect to the largest mean, but the me...
180
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
We give new algorithms for learning halfspaces in the challenging malicious noise model, where an adversary may corrupt both the labels and the underlying distribution of examples....
183
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We present a novel representation of cyclic human locomotion based on a set of spatio-temporal curves of tracked points on the surface of a person. We start by extracting a set of...