7820 search results - page 122 / 1564 » Formalization of Time and Space |
207
click to vote
3DIM
2011
IEEE
14 years 7 months ago
2011
IEEE
—We propose a data-driven, multi-view body pose estimation algorithm for video. It can operate in uncontrolled environments with loosely calibrated and low resolution cameras and...
198
click to vote
TSP
2012
14 years 2 months ago
2012
This article presents a randomized linear-dispersion space-time block code for decode-andforward synchronous relays. The coding matrices are obtained as a set of columns (or rows)...
197
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
193
click to vote
TPHOL
2005
IEEE
16 years 14 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...