5630 search results - page 303 / 1126 » Computability in Specification |
207
click to vote
TIT
2010
15 years 1 months ago
2010
Abstract--Motivated by applications of distributed linear estimation, distributed control, and distributed optimization, we consider the question of designing linear iterative algo...
165
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Semantic scene classification based only on low-level vision cues has had limited success on unconstrained image sets. On the other hand, camera metadata related to capture condit...
167
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
This paper presents a study of finger-based text entry for mobile devices with touchscreens. Many devices are now coming to market that have no physical keyboards (the Apple iPhon...
163
click to vote
AAAI
2010
15 years 4 months ago
2010
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...
160
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We consider the problem of computing the Euclidean projection of a vector of length n onto a closed convex set including the 1 ball and the specialized polyhedra employed in (Shal...