1115 search results - page 120 / 223 » An Abstract Look at Realizability |
168
click to vote
ADAPTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Data Mining, or Knowledge Discovery as it is also known, is becoming increasingly useful in a wide variety of applications. In the following paper, we look at its use in ...
131
click to vote
AMR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Accuracy of current automatic image labeling methods is under the requirements of annotation-based image retrieval systems. The performance of most of these labeling meth...
115
click to vote
EPIA
2007
Springer
15 years 10 months ago
2007
Springer
As we face the real possibility of modelling agent systems capable of non-deterministic self-evolution, we are confronted with the problem of having several different possible futu...
132
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Southern California Earthquake Center initiated a major largescale earthquake simulation called TeraShake. The simulations propagated seismic waves across a domain of...
160
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...