Sciweavers

1734 search results - page 87 / 347
» What works
Sort
View
ASM
2010
ASM
14 years 14 days ago
Starting B Specifications from Use Cases
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
Thiago C. de Sousa, Aryldo G. Russo
ATAL
2006
Springer
13 years 11 months ago
An argumentation based approach for practical reasoning
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
Iyad Rahwan, Leila Amgoud
IE
2007
13 years 10 months ago
Citizenship and consumption: convergence culture, transmedia narratives and the digital divide
Henry Jenkins’ recent publications on convergence have focused on the way that the active audience, equipped with the productive and distributive tools of digital technology mig...
Thomas Apperley
LREC
2010
175views Education» more  LREC 2010»
13 years 10 months ago
Adapting a resource-light highly multilingual Named Entity Recognition system to Arabic
We present a working Arabic information extraction (IE) system that is used to analyze large volumes of news texts every day to extract the named entity (NE) types person, organiz...
Wajdi Zaghouani, Bruno Pouliquen, Mohamed Ebrahim,...
FOIS
2008
13 years 10 months ago
Introducing Realist Ontology for the Representation of Adverse Events
The goal of the REMINE project is to build a high performance prediction, detection and monitoring platform for managing Risks against Patient Safety (RAPS). Part of the work invol...
Werner Ceusters, Maria Capolupo, Georges De Moor, ...