7311 search results - page 255 / 1463 » Time in State Machines |
174
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
State machine based simulation of Boolean functions is substantially faster if the function being simulated is symmetric. Unfortunately function symmetries are comparatively rare....
224
click to vote
ICGI
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Stochastic deterministic finite automata have been introduced and are used in a variety of settings. We report here a number of results concerning the learnability of th...
207
click to vote
ASM
2003
ASM
16 years 14 days ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
158
click to vote
FATES
2003
Springer
16 years 14 days ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
172
click to vote
CIA
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a framework to construct interface agents with example dialogs based on the tasks by the machine learning technology. The Wizard of Oz method is used to collec...