1138 search results - page 196 / 228 » Association search in semantic web: search inference |
144
click to vote
ICWE
2010
Springer
15 years 11 months ago
2010
Springer
The recent proliferation of crowd computing initiatives on the web calls for smarter methodologies and tools to annotate, query and explore repositories. There is the need for scal...
179
click to vote
DGO
2007
15 years 7 months ago
2007
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
147
click to vote
JUCS
2006
15 years 6 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
160
click to vote
LREC
2010
15 years 7 months ago
2010
Analysts in various domains, especially intelligence and financial, have to constantly extract useful knowledge from large amounts of unstructured or semi-structured data. Keyword...
160
click to vote
EUROMED
2010
15 years 4 months ago
2010
Abstract. CARARE is a best practice network funded by the European Commission’s ICT Policy Support Programme. The network brings together heritage agencies, organisations, archae...