1454 search results - page 176 / 291 » Stateful traits and their formalization |
199
click to vote
CAV
1997
Springer
15 years 10 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
196
click to vote
FSE
1997
Springer
15 years 10 months ago
1997
Springer
Matsui's linear cryptanalysis for iterated block ciphers is generalized to an attack called. This attack exploits a weakness that can be described by an e ective partition-pa...
156
click to vote
ICGI
1994
Springer
15 years 10 months ago
1994
Springer
We describe a framework for inducing probabilistic grammars from corpora of positive samples. First, samples are incorporated by adding ad-hoc rules to a working grammar; subseque...
196
click to vote
IFIP
1992
Springer
15 years 10 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
173
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...