Sciweavers

423 search results - page 55 / 85
» The Generalization of Generalized Automata: Expression Autom...
Sort
View
DIS
2000
Springer
14 years 1 months ago
A Practical Algorithm to Find the Best Subsequence Patterns
Given two sets of strings, consider the problem to find a subsequence that is common to one set but never appears in the other set. The problem is known to be NP-complete. We gene...
Masahiro Hirao, Hiromasa Hoshino, Ayumi Shinohara,...
AAAI
2006
13 years 10 months ago
Representing Systems with Hidden State
We discuss the problem of finding a good state representation in stochastic systems with observations. We develop a duality theory that generalizes existing work in predictive sta...
Christopher Hundt, Prakash Panangaden, Joelle Pine...
JLP
2006
138views more  JLP 2006»
13 years 8 months ago
Algebraic-coalgebraic specification in CoCasl
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
Till Mossakowski, Lutz Schröder, Markus Rogge...
APN
2006
Springer
14 years 12 days ago
On the Construction of Pullbacks for Safe Petri Nets
The product of safe Petri nets is a well known operation : it generalizes to concurrent systems the usual synchronous product of automata. In this paper, we consider a more general...
Eric Fabre
DEDS
1998
84views more  DEDS 1998»
13 years 8 months ago
Reduction of Timed Hybrid Systems
We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consi...
S. Di Gennaro, C. Horn, Sanjeev R. Kulkarni, Peter...