1421 search results - page 51 / 285 » The First and Second Max-SAT Evaluations |
181
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
The UCT algorithm learns a value function online using sample-based search. The TD() algorithm can learn a value function offline for the on-policy distribution. We consider three...
151
click to vote
VRST
2009
ACM
2009
ACM
3D object arrangement for novice users: the effectiveness of combining a first-person and a map view
16 years 19 days ago
Arranging 3D objects in Virtual Environments can be a complex, error prone and time consuming task, especially for users who are not familiar with interfaces for 3D navigation and...
196
click to vote
ICML
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we describe our research in computer-aided image analysis. We have incorporated machine learning methodologies with traditional image processing to perform unsuperv...
173
click to vote
FOIKS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Argumentation is a reasoning model based on the construction and the evaluation of arguments. In his seminal paper, Dung has proe most abstract argumentation framework. I...
142
click to vote
ANOR
2005
15 years 6 months ago
2005
: We consider in this paper a two-machine flowshop scheduling problem in which the first machine processes jobs individually while the second machine processes jobs in batches. The...