Sciweavers

961 search results - page 61 / 193
» Automatic design synthesis with artificial intelligence tech...
Sort
View
TSMC
2010
14 years 8 months ago
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Z...
EVOW
2009
Springer
15 years 8 months ago
Evolving Approximate Image Filters
Image filtering involves taking a digital image and producing a new image from it. In software packages such as Adobe’s Photoshop, image filters are used to produce artistic ve...
Simon Colton, Pedro Torres
CEC
2007
IEEE
15 years 7 months ago
Evolutionary random neural ensembles based on negative correlation learning
— This paper proposes to incorporate bootstrap of data, random feature subspace and evolutionary algorithm with negative correlation learning to automatically design accurate and...
Huanhuan Chen, Xin Yao
HAIS
2010
Springer
14 years 11 months ago
Reducing Dimensionality in Multiple Instance Learning with a Filter Method
In this article, we describe a feature selection algorithm which can automatically find relevant features for multiple instance learning. Multiple instance learning is considered a...
Amelia Zafra, Mykola Pechenizkiy, Sebastián...
AISC
1998
Springer
15 years 5 months ago
Instantiation of Existentially Quantified Variables in Inductive Specification Proofs
Abstract. We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in ...
Brigitte Pientka, Christoph Kreitz