1892 search results - page 213 / 379 » Warren's Abstract Machine |
125
click to vote
ACG
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Complete tablebases, indicating best moves for every position, exist for chess endgames. There is no doubt that tablebases contain a wealth of knowledge, however, mining ...
140
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
134
click to vote
PRIB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Clustering is a widely used unsupervised data analysis technique in machine learning. However, a common requirement amongst many existing clustering methods is that all p...
150
Voted
RULEML
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Event processing rules may be prescribed in many different ways, including by finite state machines, graphical methods, ECA (event-conditionaction) rules or reactive rule...
142
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In order to employ the Web as a medium for data and information integration, comprehensive datasets and vocabularies are required as they enable the disambiguation and al...