Sciweavers

2467 search results - page 21 / 494
» Finite State Machines
Sort
View
88
Voted
SIGCSE
2006
ACM
134views Education» more  SIGCSE 2006»
15 years 6 months ago
jFAST: a java finite automata simulator
Visualization and interactivity are valuable active learning techniques that can improve mastery of difficult concepts. In this paper we describe jFAST, an easy-to-use graphical s...
Timothy M. White, Thomas P. Way
PDCAT
2004
Springer
15 years 5 months ago
State Machine Based Operating System Architecture for Wireless Sensor Networks
A wireless sensor network is characterized as a massively distributed and deeply embedded system. Such a system requires concurrent and asynchronous event handling as a distributed...
Tae-Hyung Kim, Seongsoo Hong
106
Voted
CONCUR
2000
Springer
15 years 4 months ago
Formal Models for Communication-Based Design
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, L...
ALT
2005
Springer
15 years 9 months ago
PAC-Learnability of Probabilistic Deterministic Finite State Automata in Terms of Variation Distance
We consider the problem of PAC-learning distributions over strings, represented by probabilistic deterministic finite automata (PDFAs). PDFAs are a probabilistic model for the gen...
Nick Palmer, Paul W. Goldberg
110
Voted
ICDAR
2007
IEEE
15 years 6 months ago
A Weighted Finite-State Framework for Correcting Errors in Natural Scene OCR
With the increasing market of cheap cameras, natural scene text has to be handled in an efficient way. Some works deal with text detection in the image while more recent ones poi...
R. Beaufort, Céline Mancas-Thillou