2909 search results - page 115 / 582 » Consistency of the theory of contexts |
149
click to vote
ENTCS
2008
15 years 6 months ago
2008
We introduce a general model of refinement. This is defined in terms of what contexts an entity can appear in, and what observations can be made of it in those contexts. We show e...
148
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The notable developments in pervasive and wireless technology enable us to collect enormous sensor data from each individual. With contextaware technologies, these data c...
175
click to vote
RTA
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
169
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
149
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper provides an intelligent multiagent approach to incorporate human temperaments into the filtering process of an information recommendation service. Our approach is to de...