Sciweavers

970 search results - page 158 / 194
» On encodings of spanning trees
Sort
View
VMCAI
2010
Springer
14 years 8 months ago
Shape Analysis of Low-Level C with Overlapping Structures
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
DATE
2009
IEEE
209views Hardware» more  DATE 2009»
14 years 5 months ago
A graph grammar based approach to automated multi-objective analog circuit design
— This paper introduces a graph grammar based approach to automated topology synthesis of analog circuits. A grammar is developed to generate circuits through production rules, t...
Angan Das, Ranga Vemuri
IJCNN
2006
IEEE
14 years 5 months ago
Predicting Juvenile Diabetes from Clinical Test Results
—Two approaches to building models for prediction of the onset of Type 1 diabetes mellitus in juvenile subjects were examined. A set of tests performed immediately before diagnos...
Shibendra S. Pobi, Lawrence O. Hall
EUROGP
2006
Springer
138views Optimization» more  EUROGP 2006»
14 years 2 months ago
Evolving Crossover Operators for Function Optimization
Abstract. A new model for evolving crossover operators for evolutionary function optimization is proposed in this paper. The model is a hybrid technique that combines a Genetic Pro...
Laura Diosan, Mihai Oltean
CP
2008
Springer
14 years 23 days ago
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
We propose new filtering algorithms for the SEQUENCE constraint and some extensions of the SEQUENCE constraint based on network flows. We enforce domain consistency on the SEQUENCE...
Michael J. Maher, Nina Narodytska, Claude-Guy Quim...