2346 search results - page 423 / 470 » Hierarchical State Machines |
179
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
This paper addresses the issue of supporting the end-user of a classifier, when it is used as a decision support system, to classify new cases. We consider several kinds of classif...
190
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
148
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
172
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
Previous methods of network anomaly detection have focused on defining a temporal model of what is "normal," and flagging the "abnormal" activity that does not...
184
click to vote
NAACL
2010
15 years 4 months ago
2010
The quality of a statistical machine translation (SMT) system is heavily dependent upon the amount of parallel sentences used in training. In recent years, there have been several...