107 search results - page 18 / 22 » Decompositional Construction of Lyapunov Functions for Hybri... |
HYBRID
1999
Springer
14 years 26 days ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
BMCBI
2010
13 years 8 months ago
2010
Background: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this ...
ICIP
2000
IEEE
14 years 5 days ago
2000
IEEE
The paper describes video codecs that provide the functionality of spatio-temporal scalability that enables construction of highly scalable video codecs. The coder exploits wavele...
EH
1999
IEEE
1999
IEEE
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints
14 years 27 days ago
Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraint...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Determinant Quantum Monte Carlo (DQMC) simulation has been widely used to reveal macroscopic properties of strong correlated materials. However, parallelization of the DQ...