5393 search results - page 456 / 1079 » Spatial Computing with Labels |
199
Voted
IANDC
2010
15 years 6 months ago
2010
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
250
click to vote
TIP
2010
15 years 5 months ago
2010
—In increasingly many cases of interest in computer vision and pattern recognition, one is often confronted with the situation where data size is very large. Usually, the labels ...
212
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a novel approach that achieves segmentation of subject body parts in 3D videos. 3D video consists in a freeviewpoint video of real-world subjects in motion immersed in ...
198
Voted
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
187
click to vote
PKDD
2010
Springer
15 years 5 months ago
2010
Springer
Active learning [1] is a branch of Machine Learning in which the learning algorithm, instead of being directly provided with pairs of problem instances and their solutions (their l...