1413 search results - page 153 / 283 » Bisimilarity of Open Terms |
167
click to vote
GEOS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Semantic similarity measurement gained attention as a methodology for ontology-based information retrieval within GIScience over the last years. Several theories explain ...
208
click to vote
HIPEAC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper, we propose a novel approach to reduce dynamic power in set-associative caches that leverages on a leakage-saving proposal, namely Cache Decay. We thus open...
162
click to vote
ICDT
2007
ACM
16 years 22 days ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
150
click to vote
ICWL
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we present the European project Open Dance and in particular our contribution to the 3D simulation of folk dances and their presentation on the web. Our aim is to pro...
183
click to vote
INEX
2007
Springer
16 years 21 days ago
2007
Springer
The Knowledge Media Institute of the Open University participated in the entity ranking and entity list completion tasks of the Entity Ranking Track in INEX 2007. In both the entit...