440 search results - page 36 / 88 » Local reasoning for abstraction and sharing |
109
click to vote
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We propose a new approach to collaborative filtering in mobile tourist information systems based on spatio-temporal proximity in social contexts. Users store ratings and ...
134
click to vote
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
122
click to vote
SEMWEB
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Conceptual modelling tools allow users to construct formal representations of their conceptualisations. These models are typically developed in isolation, unrelated to ot...
114
click to vote
AAAI
2007
15 years 4 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
118
Voted
WCNC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— We consider a scenario in which frequency agile radios opportunistically share a fixed spectrum resource with a set of primary nodes. We develop a collaborative scheme...