Sciweavers

127 search results - page 16 / 26
» Composing Complete and Partial Knowledge
Sort
View
ICTAI
2007
IEEE
14 years 2 months ago
Establishing Logical Rules from Empirical Data
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
John L. Pfaltz
ISCI
2010
103views more  ISCI 2010»
13 years 6 months ago
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
This paper focuses on the issue of how generalizations of continuous and leftcontinuous t-norms over linearly ordered sets should be from a logical point of view. Taking into acco...
Carles Noguera, Francesc Esteva, Lluis Godo
CORR
2010
Springer
237views Education» more  CORR 2010»
13 years 5 months ago
Featureless 2D-3D Pose Estimation by Minimising an Illumination-Invariant Loss
The problem of identifying the 3D pose of a known object from a given 2D image has important applications in Computer Vision ranging from robotic vision to image analysis. Our pro...
Srimal Jayawardena, Marcus Hutter, Nathan Brewer
FSTTCS
2005
Springer
14 years 1 months ago
Semiperfect-Information Games
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
Krishnendu Chatterjee, Thomas A. Henzinger
CONTEXT
1999
Springer
14 years 3 days ago
The Pragmatic Roots of Context
When modelling complex systems one can not include all the causal factors, but one has to settle for partial models. This is alright if the factors left out are either so constant...
Bruce Edmonds