Sciweavers

1128 search results - page 171 / 226
» Little Engines of Proof
Sort
View
IJRR
2011
126views more  IJRR 2011»
15 years 1 months ago
Optimization and learning for rough terrain legged locomotion
We present a novel approach to legged locomotion over rough terrain that is thoroughly rooted in optimization. This approach relies on a hierarchy of fast, anytime algorithms to p...
Matthew Zucker, Nathan D. Ratliff, Martin Stolle, ...
JCIT
2010
182views more  JCIT 2010»
15 years 29 days ago
CT-Rank: A Time-aware Ranking Algorithm for Web Search
Time plays important roles in Web search, because most Web pages contain time information and a lot of Web queries are time-related. However, traditional search engines such as Go...
Peiquan Jin, Xiaowen Li, Hong Chen, Lihua Yue
ICCV
2011
IEEE
14 years 6 months ago
Ask the locals: multi-way local pooling for image recognition
Invariant representations in object recognition systems are generally obtained by pooling feature vectors over spatially local neighborhoods. But pooling is not local in the featu...
Y-Lan Boureau, Nicolas Le Roux, francis bach, Jean...
TOG
2012
184views Communications» more  TOG 2012»
13 years 8 months ago
Point sampling with general noise spectrum
Point samples with different spectral noise properties (often defined using color names such as white, blue, green, and red) are important for many science and engineering discip...
Yahan Zhou, Haibin Huang, Li-Yi Wei, Rui Wang
STOC
2009
ACM
181views Algorithms» more  STOC 2009»
16 years 6 months ago
The detectability lemma and quantum gap amplification
The quantum analog of a constraint satisfaction problem is a sum of local Hamiltonians - each (term of the) Hamiltonian specifies a local constraint whose violation contributes to...
Dorit Aharonov, Itai Arad, Zeph Landau, Umesh V. V...