1835 search results - page 286 / 367 » Classifying Description Logics |
125
Voted
ENTCS
2002
15 years 3 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
151
Voted
JAIR
2002
15 years 3 months ago
2002
We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of ...
151
Voted
IEEEHPCS
2010
15 years 2 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
131
Voted
RR
2010
Springer
15 years 2 months ago
2010
Springer
For multimedia interpretation, and in particular for the combined interpretation of information coming from different modalities, a semantically well-founded formalization is requ...
134
Voted
ICSOC
2010
Springer
15 years 1 months ago
2010
Springer
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. ...