1329 search results - page 158 / 266 » Constraint-based model synthesis |
164
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
129
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
112
click to vote
ESANN
2007
2007
Three-dimensional self-organizing dynamical systems for discrete structures memorizing and retrieval
15 years 6 months ago
The synthesis concept for dynamical system with the memory of multiple states defined with the quaternion algebra usage is considered. The system memorizes numerous configurations ...
141
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
There are well known algorithms for learning the structure of directed and undirected graphical models from data, but nearly all assume that the data consists of a single i.i.d. s...
151
click to vote
VLSID
2006
IEEE
15 years 10 months ago
2006
IEEE
This tutorial present the key aspects of design challenges and its solutions that are being experienced in VLSI design in the era of nano technology. The focus will be on design c...