Sciweavers

2342 search results - page 359 / 469
» A Methodology for Evaluating Software Engineering Methods an...
Sort
View
ICIA
2007
13 years 11 months ago
An Intelligent Discussion-Bot for Guiding Student Interactions in Threaded Discussions
Although there are high expectations for collaborative discussion and on-line learning, existing systems for on-line discussion and chat facilities are not fully effective in prom...
Jihie Kim, Erin Shaw, Grace Chern, Donghui Feng
PERVASIVE
2008
Springer
13 years 9 months ago
Rapid Prototyping of Activity Recognition Applications
The Context Recognition Network (CRN) Toolbox permits fast implementation of activity and context recognition systems. It utilizes parameterizable and reusable software components...
David Bannach, Oliver Amft, Paul Lukowicz
LREC
2008
84views Education» more  LREC 2008»
13 years 10 months ago
Named Entity Recognition for Digitised Historical Texts
We describe and evaluate a prototype system for recognising person and place names in digitised records of British parliamentary proceedings from the late 17th and early 19th cent...
Claire Grover, Sharon Givon, Richard Tobin, Julian...
ICST
2009
IEEE
14 years 3 months ago
Transforming and Selecting Functional Test Cases for Security Policy Testing
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry
FASE
2005
Springer
14 years 2 months ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...