Sciweavers

3384 search results - page 86 / 677
» More Testable Properties
Sort
View
LREC
2008
83views Education» more  LREC 2008»
13 years 10 months ago
Representation of Atypical Entities in Ontologies
This paper is a contribution to formal ontology study. Some entities belong more or less to a class. In particular, some individual entities are attached to classes whereas they d...
Christophe Jouis, Julien Bourdaillet
NIPS
2003
13 years 10 months ago
Geometric Clustering Using the Information Bottleneck Method
We argue that K–means and deterministic annealing algorithms for geometric clustering can be derived from the more general Information Bottleneck approach. If we cluster the ide...
Susanne Still, William Bialek, Léon Bottou
JMLR
2010
143views more  JMLR 2010»
13 years 3 months ago
Beware of the DAG!
Directed acyclic graph (DAG) models are popular tools for describing causal relationships and for guiding attempts to learn them from data. In particular, they appear to supply a ...
A. Philip Dawid
SIGSOFT
2004
ACM
14 years 9 months ago
Efficient incremental algorithms for dynamic detection of likely invariants
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
Jeff H. Perkins, Michael D. Ernst
IROS
2009
IEEE
140views Robotics» more  IROS 2009»
14 years 3 months ago
Transferring embodied concepts between perceptually heterogeneous robots
— This paper explores methods and representations that allow two perceptually heterogeneous robots, each of which represents concepts via grounded properties, to transfer knowled...
Zsolt Kira