2835 search results - page 301 / 567 » Common Semantics for Use Cases and Task Models |
104
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
In this paper we extend the state-of-the-art in utilizing background knowledge for supervised classification by exploiting the semantic relationships between terms explicated in O...
151
click to vote
PODS
2007
ACM
16 years 4 months ago
2007
ACM
We show that relational algebra calculations for incomplete databases, probabilistic databases, bag semantics and whyprovenance are particular cases of the same general algorithms...
130
click to vote
FLOPS
2004
Springer
15 years 9 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
133
Voted
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
126
click to vote
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
As context-aware systems become more widespread and mobile there is an increasing need for a common distributed event platform for gathering context information and delivering to ...