Sciweavers

887 search results - page 39 / 178
» Representing Systems with Hidden State
Sort
View
DAC
1996
ACM
15 years 8 months ago
Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
Jordi Cortadella, Michael Kishinevsky, Alex Kondra...
FASE
2008
Springer
15 years 6 months ago
Regular Inference for State Machines Using Domains with Equality Tests
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
Therese Berg, Bengt Jonsson, Harald Raffelt
IJBC
2006
50views more  IJBC 2006»
15 years 4 months ago
Phenomenology of Reaction-diffusion Binary-State Cellular Automata
We study a binary-cell-states eight-cell neighborhood two-dimensional cellular automaton model of a quasi-chemical system with a substrate and a reagent. Reactions are represented...
Andrew Adamatzky, Genaro Juárez Martí...
131
Voted
CICLING
2003
Springer
15 years 10 months ago
Positive Grammar Checking: A Finite State Approach
Abstract. This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error. A corpus of Swedish text written by chi...
Sylvana Sofkova Hashemi, Robin Cooper, Robert Ande...
144
Voted
ICIP
2004
IEEE
16 years 6 months ago
Action modeling with volumetric data
In this paper we propose and test an action recognition algorithm in which the images of the scene captured by a significant number of cameras are first used to generate a volumet...
Fabio Cuzzolin, Augusto Sarti, Stefano Tubaro