13271 search results - page 89 / 2655 » Computers, Programming, and People |
118
Voted
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
We describe an answer-set programming solver smodels− , derived from smodels by eliminating some lookahead computations. We show that for some classes of programs smodels− outp...
122
click to vote
CG
2006
Springer
15 years 7 months ago
2006
Springer
We show that a proper equilibrium of a matrix game can be found in polynomial time by solving a linear (in the number of pure strategies of the two players) number of linear progra...
122
click to vote
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program sta...
132
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— We consider the problem of tracking multiple agents moving amongst obstacles, using multiple cameras. Given an environment with obstacles, and many people moving through it, we...
115
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents aspects of a study into how and why people use camera phones. The study examined people's intentions at the time of image capture and subsequent patterns ...