Sciweavers

14078 search results - page 2705 / 2816
» Design and Analysis of Computer Algorithms
Sort
View
NAR
2011
260views Computer Vision» more  NAR 2011»
14 years 6 months ago
ASD: a comprehensive database of allosteric proteins and modulators
Allostery is the most direct, rapid and efficient way of regulating protein function, ranging from the control of metabolic mechanisms to signaltransduction pathways. However, an ...
Zhimin Huang, Liang Zhu, Yan Cao, Geng Wu, Xinyi L...
EMSOFT
2011
Springer
14 years 2 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
STOC
2012
ACM
196views Algorithms» more  STOC 2012»
13 years 5 months ago
Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space
We give the first time-space tradeoff lower bounds for Resolution proofs that apply to superlinear space. In particular, we show that there are formulas of size N that have Reso...
Paul Beame, Christopher Beck, Russell Impagliazzo
138
Voted
CVPR
2006
IEEE
16 years 5 months ago
Object Pose Detection in Range Scan Data
We address the problem of detecting complex articulated objects and their pose in 3D range scan data. This task is very difficult when the orientation of the object is unknown, an...
Jim Rodgers, Dragomir Anguelov, Hoi-Cheung Pang, D...
CVPR
2008
IEEE
16 years 5 months ago
Discriminative learning of visual words for 3D human pose estimation
This paper addresses the problem of recovering 3D human pose from a single monocular image, using a discriminative bag-of-words approach. In previous work, the visual words are le...
Huazhong Ning, Wei Xu, Yihong Gong, Thomas S. Huan...
« Prev « First page 2705 / 2816 Last » Next »