Sciweavers

6514 search results - page 1078 / 1303
» Low-Knowledge Algorithm Control
Sort
View
DAC
2006
ACM
16 years 3 months ago
Predicate learning and selective theory deduction for a difference logic solver
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
Chao Wang, Aarti Gupta, Malay K. Ganai
113
Voted
IPMI
1999
Springer
16 years 3 months ago
Brain Morphometry by Distance Measurement in a Non-Euclidean, Curvilinear Space
Inspired by the discussion in neurological research about the callosal fiber connections with respect to brain asymmetry we developed a technique that measures distances between br...
Martin Styner, Thomas Coradi, Guido Gerig
ICML
2007
IEEE
16 years 3 months ago
On learning linear ranking functions for beam search
Beam search is used to maintain tractability in large search spaces at the expense of completeness and optimality. We study supervised learning of linear ranking functions for con...
Yuehua Xu, Alan Fern
ICML
2007
IEEE
16 years 3 months ago
Conditional random fields for multi-agent reinforcement learning
Conditional random fields (CRFs) are graphical models for modeling the probability of labels given the observations. They have traditionally been trained with using a set of obser...
Xinhua Zhang, Douglas Aberdeen, S. V. N. Vishwanat...
ICML
2008
IEEE
16 years 3 months ago
On the quantitative analysis of deep belief networks
Deep Belief Networks (DBN's) are generative models that contain many layers of hidden variables. Efficient greedy algorithms for learning and approximate inference have allow...
Ruslan Salakhutdinov, Iain Murray
« Prev « First page 1078 / 1303 Last » Next »