2346 search results - page 423 / 470 » Hierarchical State Machines |
123
Voted
ECAI
2010
Springer
14 years 12 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...
123
Voted
FSTTCS
2010
Springer
14 years 12 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 ...
FSTTCS
2010
Springer
14 years 12 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...
117
click to vote
IMC
2010
ACM
14 years 11 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...
134
Voted
NAACL
2010
14 years 11 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...