1329 search results - page 152 / 266 » Constraint-based model synthesis |
128
click to vote
AUTOMATICA
2010
15 years 3 months ago
2010
One of the important issues in networked control systems is the appropriate handling of the nonlinearities arising from uncertain time-varying delays. In this paper, using the Cay...
166
click to vote
ICIC
2009
Springer
15 years 2 months ago
2009
Springer
This paper presents an evolutionary method for identifying the gene regulatory network from the observed time series data of gene expression using a system of ordinary differential...
166
click to vote
TVCG
2011
14 years 11 months ago
2011
—Haptic texture represents the fine-grained attributes of an object’s surface and is related to physical characteristics such as roughness and stiffness. We introduce an inter...
143
click to vote
ECBS
2003
IEEE
15 years 10 months ago
2003
IEEE
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
122
Voted
FMSD
1998
15 years 4 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...