Sciweavers

10819 search results - page 341 / 2164
» Addition and multiplication of sets
Sort
View
QEST
2005
IEEE
16 years 9 days ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
YoungMin Kwon, Gul A. Agha
179
Voted
ICCV
2001
IEEE
16 years 8 months ago
Combining Single View Recognition and Multiple View Stereo for Architectural Scenes
This paper describes a structure from motion and recognition paradigm for generating 3D models from 2D sets of images. In particular we consider the domain of architectural photog...
Anthony R. Dick, Philip H. S. Torr, Simon J. Ruffl...
ECCV
1994
Springer
16 years 8 months ago
Canonic Representations for the Geometries of Multiple Projective Views
We show how a special decomposition of a set of two or three general projection matrices, called canonic enables us to build geometric descriptions for a system of cameras which a...
Quang-Tuan Luong, Thierry Viéville
ICIP
2004
IEEE
16 years 8 months ago
Markerless motion capture with single and multiple cameras
The aim of Optical Motion Capture is to sequentially estimate the true state X of the subject (generally an articulated body) at any time instant tk from a set of data Dk, capture...
Paris Kaimakis, Joan Lasenby
ICPR
2008
IEEE
16 years 8 months ago
Multiple classifier applied on predicting microsleep from speech
The aim of this study is to apply a state-of-the-art speech emotion recognition engine on the detection of microsleep endangered sleepiness states. Current approaches in speech em...
Jarek Krajewski, Anton Batliner, Rainer Wieland