Sciweavers

1151 search results - page 120 / 231
» Modelling Digital Circuits Problems with Set Constraints
Sort
View
FUZZIEEE
2007
IEEE
15 years 4 months ago
Towards Fuzzy Compositional Modelling
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
Xin Fu, Qiang Shen, Ruiqing Zhao
PG
2003
IEEE
15 years 3 months ago
Bounding Recursive Procedural Models Using Convex Optimization
We present an algorithm to construct a tight bounding polyhedron for a recursive procedural model. We first use an iterated function system (IFS) to represent the extent of the p...
Orion Sky Lawlor, John C. Hart
PROMISE
2010
14 years 4 months ago
The relationship between search based software engineering and predictive modeling
Search Based Software Engineering (SBSE) is an approach to software engineering in which search based optimization algorithms are used to identify optimal or near optimal solution...
Mark Harman
AUTOMATICA
2006
87views more  AUTOMATICA 2006»
14 years 10 months ago
Modeling continuous-time processes via input-to-state filters
A direct algorithm to estimate continuous-time ARMA (CARMA) models is proposed in this paper. In this approach, we first pass the observed data through an input-to-state filter an...
Kaushik Mahata, Minyue Fu
TCAD
2008
75views more  TCAD 2008»
14 years 9 months ago
Static Analysis of Transaction-Level Communication Models
We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...
Giovanni Agosta, Francesco Bruschi, Donatella Sciu...