4488 search results - page 328 / 898 » Focusing Search by Using Problem Solving Experience |
124
click to vote
EPIA
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes Catrapilas, a small robotic platform, designed to be capable of solving some well known robot problems. Among these are some of the most popular robotic contes...
134
click to vote
SAT
2005
Springer
15 years 10 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
156
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
We consider the problem of fitting a large-scale covariance matrix to multivariate Gaussian data in such a way that the inverse is sparse, thus providing model selection. Beginnin...
162
click to vote
PETRA
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes work towards designing a computer vision system for helping users look up the meaning of a sign. Sign lookup is treated as a video database retrieval problem....
148
Voted
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Much of the research on automated Web Service Composition (WSC) relates it to an AI planning task, where the composition is primarily done offline prior to execution. Rec...