4767 search results - page 105 / 954 » Moving between Contexts |
122
Voted
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
For a given (terminating) term rewriting system one can often estimate its derivational complexity indirectly by looking at the proof method that established termination. In this s...
139
click to vote
DKE
2010
15 years 4 months ago
2010
An ontology is a formal conceptualization of a domain, specifying the concepts of the domain and the relations between them. It is however not a straight forward task to use this ...
87
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Several authors have studied stego-systems based on Costa scheme, but just a few ones gave both theoretical and experimental justifications of these schemes performance in an activ...
140
Voted
DLOG
2009
15 years 2 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...
130
Voted
AMI
2010
Springer
15 years 2 months ago
2010
Springer
We present an approach to exploit social and spatio-temporal context in order to improve information dissemination in dynamic largescale public spaces. We illustrate it by applying...