Sciweavers

342 search results - page 3 / 69
» Higher order learning with graphs
Sort
View
BIRTHDAY
2009
Springer
14 years 2 days ago
A Higher-Order Graph Calculus for Autonomic Computing
Oana Andrei, Hélène Kirchner
LFCS
1992
Springer
13 years 9 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...
CADE
2003
Springer
14 years 5 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
ICCV
1999
IEEE
14 years 7 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»
13 years 3 months 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