Sciweavers

342 search results - page 3 / 69
» Higher order learning with graphs
Sort
View
BIRTHDAY
2009
Springer
15 years 8 months ago
A Higher-Order Graph Calculus for Autonomic Computing
Oana Andrei, Hélène Kirchner
109
Voted
LFCS
1992
Springer
15 years 5 months ago
Machine Learning of Higher Order Programs
A generator program for a computable function (by definition) generates an infinite sequence of programs all but finitely many of which compute that function. Machine learning of ...
Ganesh Baliga, John Case, Sanjay Jain, Mandayam Su...
131
Voted
CADE
2003
Springer
16 years 2 months ago
Proving Pointer Programs in Higher-Order Logic
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
Farhad Mehta, Tobias Nipkow
95
Voted
ICCV
1999
IEEE
16 years 3 months ago
Higher Order Statistical Learning for Vehicle Detection in Images
The paper describes a scheme for detecting vehicles in images. The proposed method approximately models the unknown distribution of the images of vehicles by learning higher order...
A. N. Rajagopalan, Philippe Burlina, Rama Chellapp...
NECO
2010
136views more  NECO 2010»
15 years 6 days ago
Learning to Represent Spatial Transformations with Factored Higher-Order Boltzmann Machines
To allow the hidden units of a restricted Boltzmann machine to model the transformation between two successive images, Memisevic and Hinton (2007) introduced three-way multiplicat...
Roland Memisevic, Geoffrey E. Hinton