Sciweavers

627 search results - page 83 / 126
» The Laplace-Jaynes approach to induction
Sort
View
TACAS
1999
Springer
81views Algorithms» more  TACAS 1999»
15 years 2 months ago
Process Algebra in PVS
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
Twan Basten, Jozef Hooman
IJCAI
1993
14 years 11 months ago
Multiple Predicate Learning
We study multiple predicate learning in an empirical setting. Problems with existing inductive logic programming approaches in this setting are sketched and an empirical ILP syste...
Luc De Raedt, Nada Lavrac, Saso Dzeroski
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
APAL
2002
79views more  APAL 2002»
14 years 10 months ago
Extending the system T0 of explicit mathematics: the limit and Mahlo axioms
In this paper we discuss extensions of Feferman's theory T0 for explicit mathematics by the so-called limit and Mahlo axioms and present a novel approach to constructing natu...
Gerhard Jäger, Thomas Studer
79
Voted
CVPR
2007
IEEE
16 years 14 days ago
Face Recognition using Discriminatively Trained Orthogonal Rank One Tensor Projections
We propose a method for face recognition based on a discriminative linear projection. In this formulation images are treated as tensors, rather than the more conventional vector o...
Gang Hua, Paul A. Viola, Steven M. Drucker