2702 search results - page 383 / 541 » Practically Applicable Formal Methods |
115
click to vote
NIPS
2007
15 years 3 months ago
2007
We study the problem of an apprentice learning to behave in an environment with an unknown reward function by observing the behavior of an expert. We follow on the work of Abbeel ...
103
Voted
JCIT
2008
15 years 2 months ago
2008
Metric distances and the more general concept of dissimilarities are widely used tools in instance-based learning methods and very especially in the nearestneighbor classification...
120
click to vote
IJCM
2002
15 years 2 months ago
2002
Abstract. The class of systems of uniform recurrence equations (UREs) is closed under unimodular transformations. As a result, every systolic array described by a unimodular mappin...
132
Voted
STTT
2010
15 years 19 days ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
142
Voted
JMLR
2010
14 years 9 months ago
2010
Markov Random Fields (MRFs) are an important class of probabilistic models which are used for density estimation, classification, denoising, and for constructing Deep Belief Netwo...