2909 search results - page 143 / 582 » Consistency of the theory of contexts |
165
click to vote
APAL
2004
15 years 6 months ago
2004
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...
130
click to vote
ACL
2010
15 years 4 months ago
2010
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...
149
click to vote
CSMR
2007
IEEE
16 years 22 days ago
2007
IEEE
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...
174
click to vote
TPHOL
2007
IEEE
16 years 20 days ago
2007
IEEE
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...
181
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
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....