Sciweavers

4255 search results - page 170 / 851
» On Learning Boolean Functions
Sort
View
118
Voted
BIRTHDAY
2010
Springer
14 years 11 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...
102
Voted
ICML
2009
IEEE
16 years 3 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
100
Voted
ECTEL
2006
Springer
15 years 6 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
128
Voted
NIPS
1994
15 years 3 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
223
Voted
GIS
2005
ACM
16 years 3 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...