Sciweavers

1546 search results - page 256 / 310
» Computing Pose Sequences Directly from Videos
Sort
View
COCO
2009
Springer
117views Algorithms» more  COCO 2009»
14 years 3 months ago
The Proof Complexity of Polynomial Identities
Devising an efficient deterministic – or even a nondeterministic sub-exponential time – algorithm for testing polynomial identities is a fundamental problem in algebraic comp...
Pavel Hrubes, Iddo Tzameret
FOCS
2007
IEEE
14 years 3 months ago
Lower Bounds on Streaming Algorithms for Approximating the Length of the Longest Increasing Subsequence
We show that any deterministic data-stream algorithm that makes a constant number of passes over the input and gives a constant factor approximation of the length of the longest i...
Anna Gál, Parikshit Gopalan
ENTCS
2008
123views more  ENTCS 2008»
13 years 8 months ago
A Chart Semantics for the Pi-Calculus
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
Johannes Borgström, Andrew D. Gordon, Andrew ...
BMCBI
2006
100views more  BMCBI 2006»
13 years 8 months ago
Design of microarray probes for virus identification and detection of emerging viruses at the genus level
Background: Most virus detection methods are geared towards the detection of specific single viruses or just a few known targets, and lack the capability to uncover the novel viru...
Cheng-Chung Chou, Te-Tsui Lee, Chun-Houh Chen, Hsi...
CVPR
2012
IEEE
11 years 11 months ago
Are we ready for autonomous driving? The KITTI vision benchmark suite
Today, visual recognition systems are still rarely employed in robotics applications. Perhaps one of the main reasons for this is the lack of demanding benchmarks that mimic such ...
Andreas Geiger, Philip Lenz, Raquel Urtasun