Sciweavers

2909 search results - page 143 / 582
» Consistency of the theory of contexts
Sort
View
190
Voted
APAL
2004
111views more  APAL 2004»
15 years 7 months ago
Concept lattices and order in fuzzy logic
The theory of concept lattices (i.e. hierarchical structures of concepts in the sense of Port-Royal school) is approached from the point of view of fuzzy logic. The notions of par...
Radim Belohlávek
ACL
2010
15 years 5 months ago
A Game-Theoretic Model of Metaphorical Bargaining
We present a game-theoretic model of bargaining over a metaphor in the context of political communication, find its equilibrium, and use it to rationalize observed linguistic beha...
Beata Beigman Klebanov, Eyal Beigman
162
Voted
CSMR
2007
IEEE
16 years 1 months ago
Supporting Reliable Software Evolution through Program Analysis
This paper motivates the need for more research to ensure a consistent level of reliability in software systems. We briefly outline the relevant developments that drive this need...
Cathal Boogerd
TPHOL
2007
IEEE
16 years 1 months ago
Extracting Purely Functional Contents from Logical Inductive Types
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
David Delahaye, Catherine Dubois, Jean-Fréd...
ECCV
2004
Springer
16 years 9 months ago
A Statistical Model for General Contextual Object Recognition
We consider object recognition as the process of attaching meaningful labels to specific regions of an image, and propose a model that learns spatial relationships between objects....
Peter Carbonetto, Nando de Freitas, Kobus Barnard