366 search results - page 16 / 74 » Synthesis: Words and Traces |
CPHYSICS
2007
13 years 8 months ago
2007
Numerical modeling of the photon transport of the ultra violet (UV) and the visible lights are presented for plasma based display devices. The transport of UV lights which undergo...
CONCUR
2006
Springer
14 years 5 days ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
PR
2007
13 years 8 months ago
2007
This paper presents a novel and effective approach to synthesize English handwriting in the user’s writing style. We select the most important features that depict the handwriti...
DAC
1996
ACM
14 years 18 days ago
1996
ACM
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...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...