11129 search results - page 1878 / 2226 » Modeling Search Computing Applications |
180
click to vote
CONSTRAINTS
2010
15 years 4 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
194
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Cameras are ubiquitous everywhere and hold the promise of significantly changing the way we live and interact with our environment. Human activity recognition is central to under...
255
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
The number of applications in computer vision that model higher-order interactions has exploded over the last few years. The standard technique for solving such problems is to red...
243
click to vote
Publication
Artificial neural networks, electronic circuits, and gene networks are some examples of systems that can be modeled as networks, that is, as collections of interconnected nodes. I...
206
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
Two important performance metrics in collaborative systems are local and remote response times. Previous analytical and simulation work has shown that these response times depend ...