16844 search results - page 2933 / 3369 » How to Design Programs |
192
click to vote
AAAI
2006
15 years 8 months ago
2006
Random problem distributions have played a key role in the study and design of algorithms for constraint satisfaction and Boolean satisfiability, as well as in our understanding o...
177
click to vote
AAAI
2004
15 years 8 months ago
2004
In this paper we discuss a deployed application at Ford Motor Company that utilizes AI technology for the analysis of potential ergonomic concerns at our assembly plants. The manu...
212
click to vote
AAAI
2006
15 years 8 months ago
2006
As robots become a mass consumer product, they will need to learn new skills by interacting with typical human users. Past approaches have adapted reinforcement learning (RL) to a...
162
click to vote
ACSW
2004
15 years 8 months ago
2004
This paper describes the content and delivery of a software internationalisation subject (ITN677) that was developed for Master of Information Technology (MIT) students in the Fac...
135
click to vote
AIPS
2004
15 years 8 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...