624 search results - page 42 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
154
click to vote
CIKM
2006
Springer
15 years 9 months ago
2006
Springer
Domain specific ontologies are heavily used in many applications. For instance, these form the bases on which similarity/dissimilarity between keywords are extracted for various k...
175
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
We present SHIRI-Annot an automatic ontology-driven and unsupervised approach for the semantic annotation of documents which contain well structured parts and not well structured o...
154
click to vote
MICCAI
2002
Springer
16 years 6 months ago
2002
Springer
Through an understanding of the image formation process, diagnostically important facts about the internal structure and composition of the skin lesions can be derived from their c...
264
click to vote
CP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
173
click to vote
COMAD
2008
15 years 7 months ago
2008
In this paper, we address the problem of query formulation in the context of multi-domain integration of heterogeneous data on the Web. We argue that effectively tackling this pro...