10568 search results - page 769 / 2114 » Computer Intelligence and Formalization |
164
click to vote
SIGCSE
2004
ACM
16 years 26 days ago
2004
ACM
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
181
click to vote
FOSSACS
2004
Springer
16 years 25 days ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
216
click to vote
LPAR
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
194
click to vote
PADL
2004
Springer
16 years 24 days ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
198
click to vote
AC
2003
Springer
16 years 21 days ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...