Sciweavers

22 search results - page 4 / 5
» First Steps Towards the Automatic Construction of Argument-D...
Sort
View
INFORMS
1998
150views more  INFORMS 1998»
13 years 5 months ago
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
Alexander Bockmayr, Thomas Kasper
GECCO
2004
Springer
327views Optimization» more  GECCO 2004»
13 years 11 months ago
Evolution, Robustness, and Adaptation of Sidewinding Locomotion of Simulated Snake-Like Robot
Inspired by the efficient method of locomotion of the rattlesnake Crotalus cerastes, the objective of this work is automatic design through genetic programming, of the fastest poss...
Ivan Tanev, Thomas S. Ray, Andrzej Buller
PVLDB
2010
125views more  PVLDB 2010»
13 years 4 months ago
MapMerge: Correlating Independent Schema Mappings
One of the main steps towards integration or exchange of data is to design the mappings that describe the (often complex) relationships between the source schemas or formats and t...
Bogdan Alexe, Mauricio A. Hernández, Lucian...
VLSID
2007
IEEE
154views VLSI» more  VLSID 2007»
14 years 6 months ago
Model Based Test Generation for Microprocessor Architecture Validation
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Di...
BMCBI
2004
104views more  BMCBI 2004»
13 years 6 months ago
Discriminative topological features reveal biological network mechanisms
Background: Recent genomic and bioinformatic advances have motivated the development of numerous network models intending to describe graphs of biological, technological, and soci...
Manuel Middendorf, Etay Ziv, Carter Adams, Jen Hom...