574 search results - page 76 / 115 » A General Framework for Covering Concepts using Terminologie... |
WOLLIC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
114
click to vote
PVLDB
2010
14 years 10 months ago
2010
Users who are unfamiliar with database query languages can search XML data sets using keyword queries. Previous work has shown that current XML keyword search methods, although in...
115
click to vote
ICS
2009
Tsinghua U.
15 years 6 months ago
2009
Tsinghua U.
“Is transactional memory useful?” is the question that cannot be answered until we provide substantial applications that can evaluate its capabilities. While existing TM appli...
119
click to vote
ISBRA
2007
Springer
15 years 6 months ago
2007
Springer
The fundamental goal of computational neuroscience is to discover anatomical features that reflect the functional organization of the brain. Investigations of the physical connect...
119
click to vote
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
The field of multiagent decision making is extending its tools from classical game theory by embracing reinforcement learning, statistical analysis, and opponent modeling. For ex...