Sciweavers

4255 search results - page 170 / 851
» On Learning Boolean Functions
Sort
View
BIRTHDAY
2010
Springer
14 years 7 months ago
Quantitative Simulation Games
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
Pavol Cerný, Thomas A. Henzinger, Arjun Rad...
ICML
2009
IEEE
15 years 11 months ago
Importance weighted active learning
We propose an importance weighting framework for actively labeling samples. This technique yields practical yet sound active learning algorithms for general loss functions. Experi...
Alina Beygelzimer, Sanjoy Dasgupta, John Langford
ECTEL
2006
Springer
15 years 1 months ago
Context-Aware Workplace Learning Support: Concept, Experiences, and Remaining Challenges
Workplace learning offers the unique possibility of the immediacy of purpose and real-world context. In order to leverage on this, we have developed a context-aware method to suppo...
Andreas Schmidt, Simone Braun
92
Voted
NIPS
1994
14 years 11 months ago
Learning to Play the Game of Chess
This paper presents NeuroChess, a program which learns to play chess from the final outcome of games. NeuroChess learns chess board evaluation functions, represented by artificial...
Sebastian Thrun
171
Voted
GIS
2005
ACM
15 years 11 months ago
Dimension-refined topological predicates
Topological predicates, as derived from the 9-intersection model, have been widely recognized in GIS, spatial database systems, and many other geo-related disciplines. They are ba...
Mark McKenney, Alejandro Pauly, Reasey Praing, Mar...