12052 search results - page 310 / 2411 » computing 2010 |
176
click to vote
FLAIRS
2010
15 years 9 months ago
2010
The MAPLE Game Playing System is a web application and website that allows students to design and program game playing agents using the Python programming language. The system pro...
161
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Biogas plants are reliable sources of energy based on renewable materials including organic waste. There is a high demand from industry to run these plants efficiently, which lead...
190
click to vote
ASSETS
2010
ACM
15 years 6 months ago
2010
ACM
We present a study focusing on the usability of a wayfinding and localization system for persons with visual impairment. This system uses special color markers, placed at key loca...
171
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We consider equation systems of the form X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where f1, . . . , fn are polynomials with positive real coefficients. In vector fo...
148
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...