7311 search results - page 115 / 1463 » Time in State Machines |
177
click to vote
ACL
2001
15 years 8 months ago
2001
We present a machine learning approach to evaluating the wellformedness of output of a machine translation system, using classifiers that learn to distinguish human reference tran...
160
click to vote
INTERACT
2007
15 years 8 months ago
2007
We examine whether or not it is possible to determine, recognize and/or report the emotional state of a group of people through touch and/or body motion. We present the initial des...
171
click to vote
CIE
2007
Springer
16 years 1 months ago
2007
Springer
We study Post’s Problem for the ordinal register machines defined in [6], showing that its general solution is positive, but that any set of ordinals solving it must be unbounde...
180
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
181
click to vote
IPL
2007
15 years 6 months ago
2007
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...