Sciweavers

8201 search results - page 263 / 1641
» Approaching Manual Intelligence
Sort
View
COLING
2010
15 years 2 months ago
Learning Summary Content Units with Topic Modeling
In the field of multi-document summarization, the Pyramid method has become an important approach for evaluating machine-generated summaries. The method is based on the manual ann...
Leonhard Hennig, Ernesto William De Luca, Sahin Al...
ATAL
2008
Springer
15 years 9 months ago
An adaptive agent model for self-organizing MAS
Self-organizing multi-agent systems (MAS) use different mechanisms to mimic the adaptation exhibited by complex systems situated in unpredictable and dynamic environments. These m...
Candelaria Sansores, Juan Pavón
TPHOL
2007
IEEE
16 years 1 months ago
Source-Level Proof Reconstruction for Interactive Theorem Proving
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
Lawrence C. Paulson, Kong Woei Susanto
WILF
2007
Springer
85views Fuzzy Logic» more  WILF 2007»
16 years 1 months ago
Some Experiments in Humour Recognition Using the Italian Wikiquote Collection
In this paper we present some results obtained in humour classification over a corpus of Italian quotations manually extracted and tagged from the Wikiquote project. The experimen...
Davide Buscaldi, Paolo Rosso
IEAAIE
2005
Springer
16 years 24 days ago
Agent Support for a Grid-Based High Energy Physics Application
Abstract. This paper presents an agent system ASGARD-0, that provides monitoring for the success or failure of Grid jobs in a High Energy Physics application. This application area...
Aman Sahani, Ian D. Mathieson, Lin Padgham