1734 search results - page 87 / 347 » What works |
142
Voted
ASM
2010
ASM
15 years 7 months ago
2010
ASM
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...
134
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
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...
106
Voted
IE
2007
15 years 5 months ago
2007
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...
124
Voted
LREC
2010
15 years 5 months ago
2010
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...
138
Voted
FOIS
2008
15 years 5 months ago
2008
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...