1115 search results - page 120 / 223 » An Abstract Look at Realizability |
229
click to vote
ADAPTIVE
2007
Springer
16 years 1 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 ...
179
click to vote
AMR
2007
Springer
16 years 1 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...
155
click to vote
EPIA
2007
Springer
16 years 1 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...
174
click to vote
ICCS
2007
Springer
16 years 1 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...
216
click to vote
LPAR
2007
Springer
16 years 1 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...