3555 search results - page 496 / 711 » Security-Critical System Development with Extended Use Cases |
132
click to vote
AIED
2005
Springer
15 years 11 months ago
2005
Springer
We have developed a method to identify when a student essay is off-topic, i.e. the essay does not respond to the test question topic. This task is motivated by a real-world problem...
151
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
170
click to vote
MUM
2009
ACM
16 years 8 days ago
2009
ACM
In this paper we introduce WiMo, a location-based social networking tool that enables users to share and store their emotional feelings about places. WiMo creates a mobile social ...
182
click to vote
JLP
2006
15 years 5 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
152
click to vote
SIGPRO
2008
15 years 5 months ago
2008
The LMS algorithm is one of the most popular learning algorithms for identifying an unknown system. Many variants of the algorithm have been developed based on different problem f...