2909 search results - page 124 / 582 » Consistency of the theory of contexts |
173
click to vote
SIGMOD
2008
ACM
15 years 6 months ago
2008
ACM
We consider the problem of evaluating multiple overlapping queries defined on data streams, where each query is a conjunction of multiple filters and each filter may be shared acr...
170
click to vote
SLOGICA
2008
15 years 6 months ago
2008
A generic format for adaptive vague logics is presented. The concrete adaptive vague logics based on this format are able to (1) identify sentences as vague or non-vague in the con...
146
click to vote
ISF
2010
15 years 4 months ago
2010
Disaster management information systems for international humanitarian relief are developed in contexts involving local, national and inter-governmental organizations together with...
317
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
197
click to vote
AH
2004
Springer
2004
Springer
The Personal Reader: Personalizing and Enriching Learning Resources Using Semantic Web Technologies.
15 years 11 months ago
Traditional adaptive hypermedia systems have focused on providing adaptation functionality on a closed corpus, while Web search interfaces have delivered non-personalized informati...