1421 search results - page 51 / 285 » The First and Second Max-SAT Evaluations |
ICML
2007
IEEE
14 years 8 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...
VRST
2009
ACM
2009
ACM
3D object arrangement for novice users: the effectiveness of combining a first-person and a map view
14 years 2 months 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...
ICML
2000
IEEE
14 years 7 hour 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...
FOIKS
2010
Springer
13 years 11 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...
ANOR
2005
13 years 7 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...