2381 search results - page 429 / 477 » On Ordering Descriptions in a Description Logic |
111
click to vote
PUC
2008
15 years 1 months ago
2008
A number of emerging distributed platforms include xed and robust workstations but, like dynamic and pervasive networks, are often built from mobile and resource-constrained device...
126
click to vote
CPAIOR
2010
Springer
15 years 4 days ago
2010
Springer
Many search problems contain large amounts of redundancy in the search. In this paper we examine how to automatically exploit remaining subproblem equivalence, which arises when tw...
122
click to vote
EUROMED
2010
15 years 4 days ago
2010
Within the last few years generative modeling techniques have gained attention especially in the context of cultural heritage. As a generative model describes a rather ideal object...
115
click to vote
IFM
2010
Springer
15 years 2 days ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
JNS
2010
15 years 13 hour ago
2010
This paper introduces a new method to show the validity of a continuum description for the deterministic dynamics of many interacting particles. Here the many particle evolution is...