Sciweavers

1816 search results - page 287 / 364
» ITS Domain Modelling with Ontology
Sort
View
158
Voted
FOSSACS
1998
Springer
15 years 10 months ago
Functor Categories and Two-Level Languages
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
Eugenio Moggi
185
Voted
ICCV
1995
IEEE
15 years 9 months ago
Alignment by Maximization of Mutual Information
A new information-theoretic approach is presented for finding the pose of an object in an image. The technique does not require information about the surface properties of the ob...
Paul A. Viola, William M. Wells III
182
Voted
UAI
2008
15 years 7 months ago
Learning Arithmetic Circuits
Graphical models are usually learned without regard to the cost of doing inference with them. As a result, even if a good model is learned, it may perform poorly at prediction, be...
Daniel Lowd, Pedro Domingos
AAAI
2006
15 years 7 months ago
From Pigeons to Humans: Grounding Relational Learning in Concrete Examples
We present a cognitive model that bridges work in analogy and category learning. The model, Building Relations through Instance Driven Gradient Error Shifting (BRIDGES), extends A...
Marc T. Tomlinson, Bradley C. Love
ENTCS
2006
142views more  ENTCS 2006»
15 years 6 months ago
Predicate Diagrams for the Verification of Real-Time Systems
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
Eun-Young Kang, Stephan Merz