1364 search results - page 140 / 273 » Comparative Branching-Time Semantics |
143
Voted
CLEF
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents the results of the University at Buffalo in the 2006 ImageCLEFmed task. Our approach for this task combines Content Based Image Retrieval (CBIR) and text retrie...
135
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that...
134
Voted
ER
2008
Springer
15 years 5 months ago
2008
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been successfully used to evaluate and improve the quality of conceptual mod...
136
Voted
COLING
2008
15 years 5 months ago
2008
We conduct large-scale experiments to investigate optimal features for classification of verbs in biomedical texts. We introduce a range of feature sets and associated extraction ...
181
Voted
SEBD
2008
15 years 5 months ago
2008
In the context of ontology evolution, ontology population is the activity of acquiring new semantic descriptions of data extracted from heterogeneous data sources. To this end, the...