898 search results - page 58 / 180 » Transitions of the Pre-Symmetry Set |
114
click to vote
ICTAI
2006
IEEE
16 years 10 days ago
2006
IEEE
This paper shows a way to speed up search by using an encoding at bit level to model a particular domain. A bitboard is an unsigned integer whose bits have been given an interpret...
155
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this note, the novel representation is proposed for a linear periodic continuous-time system with T-periodic real-valued coefficients. We prove that a T-periodic real-valued fac...
163
click to vote
DLOG
2007
15 years 8 months ago
2007
Abstract. The Chemical Formulation Problem (Compounding Problem) consists in modifying the chemical formulation of a compound in order to obtain a new compound showing a set of des...
148
click to vote
HYBRID
1995
Springer
15 years 9 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
188
click to vote
LICS
2009
IEEE
16 years 28 days ago
2009
IEEE
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In ...