7978 search results - page 112 / 1596 » Combining shared-coin algorithms |
141
click to vote
PG
2002
IEEE
15 years 8 months ago
2002
IEEE
The acquisition of human motion data is of major importance for creating interactive virtual environments, intelligent user interfaces, and realistic computer animations. Today’...
250
click to vote
FMCAD
1998
Springer
15 years 7 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
117
click to vote
ACISP
2007
Springer
15 years 7 months ago
2007
Springer
We study the multicast stream authentication problem when the communication channel is under control of an opponent who can drop, reorder and inject data packets. In this work, we...
129
click to vote
DOCENG
2007
ACM
15 years 7 months ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
132
Voted
3DIM
2001
IEEE
15 years 7 months ago
2001
IEEE
We introduce a novel outlook on the self-calibration task, by considering images taken by a camera in motion, allowing for zooming and focusing. Apart from the complex relationshi...