Sciweavers

2934 search results - page 284 / 587
» Universality in Multi-Agent Systems
Sort
View
ICALP
2010
Springer
15 years 8 months ago
Example-Guided Abstraction Simplification
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
Roberto Giacobazzi, Francesco Ranzato
LREC
2010
165views Education» more  LREC 2010»
15 years 8 months ago
Cooperation for Arabic Language Resources and Tools - The MEDAR Project
The paper describes some of the work carried out within the European funded project MEDAR. The project has three streams of activity: the technical stream, the cooperation stream ...
Bente Maegaard, Mohamed Attia, Khalid Choukri, Oli...
DGO
2000
91views Education» more  DGO 2000»
15 years 8 months ago
Simplifying data access: the energy data collection (EDC) project
The massive amount of statistical and text data available from government agencies has created a set of daunting challenges to both research and analysis communities. These proble...
José Luis Ambite, Yigal Arens, Luis Gravano...
CLEF
2009
Springer
15 years 7 months ago
Patent Retrieval Experiments in the Context of the CLEF IP Track 2009
At CLEF 2009 the University of Hildesheim focused on the main task of the Intellectual Property Track which aims at finding prior art for a specified patent [cf. Information Retri...
Daniela Becks, Christa Womser-Hacker, Thomas Mandl...
BIOSYSTEMS
2007
95views more  BIOSYSTEMS 2007»
15 years 6 months ago
Physical limits of computation and emergence of life
The computational process is based on the activity linking mathematical equations to a materialized physical world. It consumes energy which lower limit is defined by the set of ...
Abir U. Igamberdiev