Sciweavers

1724 search results - page 293 / 345
» Abstract Interpreters for Free
Sort
View
CLIMA
2007
15 years 6 months ago
Language Constructs for Multi-agent Programming
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
Louise A. Dennis, Michael Fisher, Anthony Hepple
FOIS
2010
15 years 6 months ago
Towards a formal ontology for history of church administration
Abstract. The paper presents preliminary results in the area of ontological engineering for historical research. Historical information systems are still in the initial stage of de...
Pawel Garbacz, Robert Trypuz, Bogumil Szady, Piotr...
DAGSTUHL
2007
15 years 6 months ago
Implementing RPO and POLO using SAT
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
Peter Schneider-Kamp, Carsten Fuhs, René Th...
DAIS
2007
15 years 6 months ago
Scalable Processing of Context Information with COSMOS
Abstract. Ubiquitous computing environments are characterised by a high number of heterogenous devices that generate a huge amount of context data. These data are used, for example...
Denis Conan, Romain Rouvoy, Lionel Seinturier
LREC
2010
225views Education» more  LREC 2010»
15 years 6 months ago
An Automatic System for Summarization and Information Extraction of Legal Information
Abstract. This paper presents an information system for legal professionals that integrates natural language processing technologies such as text classification and summarization. ...
Emmanuel Chieze, Atefeh Farzindar, Guy Lapalme