Sciweavers

3052 search results - page 408 / 611
» A community-aware search engine
Sort
View
CATS
2007
15 years 8 months ago
Analysis of Busy Beaver Machines via Induction Proofs
The busy beaver problem is to find the maximum number of 1’s that can be printed by an n-state Turing machine of a particular type. A critical step in the evaluation of this va...
James Harland
DAGSTUHL
2007
15 years 8 months ago
Calculus and Algebra for Distributed Data Management
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...
Serge Abiteboul
DELOS
2007
15 years 8 months ago
DelosDLMS - The Integrated DELOS Digital Library Management System
Abstract. DelosDLMS is a prototype of a next-generation Digital Library (DL) management system. It is realized by combining various specialized DL functionalities provided by partn...
Maristella Agosti, Stefano Berretti, Gert Brettlec...
LREC
2010
177views Education» more  LREC 2010»
15 years 8 months ago
Maskkot - An Entity-centric Annotation Platform
The Semantic Web is facing the important challenge to maintain its promise of a real world-wide graph of interconnected resources. Unfortunately, while URIs almost guarantee a dir...
Armando Stellato, Heiko Stoermer, Stefano Bortoli,...
LREC
2010
187views Education» more  LREC 2010»
15 years 8 months ago
A Resource for Investigating the Impact of Anaphora and Coreference on Inference
Discourse phenomena play a major role in text processing tasks. However, so far relatively little study has been devoted to the relevance of discourse phenomena for inference. The...
Azad Abad, Luisa Bentivogli, Ido Dagan, Danilo Gia...