Sciweavers

1508 search results - page 166 / 302
» A Toolbox of Level Set Methods
Sort
View
129
Voted
CEC
2007
IEEE
15 years 10 months ago
Parameter calibration using meta-algorithms
— Calibrating an evolutionary algorithm (EA) means finding the right values of algorithm parameters for a given problem. This issue is highly relevant, because it has a high imp...
W. A. de Landgraaf, A. E. Eiben, Volker Nannen
134
Voted
MINENET
2005
ACM
15 years 9 months ago
A first step toward understanding inter-domain routing dynamics
BGP updates are triggered by a variety of events such as link failures, resets, routers crashing, configuration changes, and so on. Making sense of these updates and identifying ...
Kuai Xu, Jaideep Chandrashekar, Zhi-Li Zhang
97
Voted
BIOINFORMATICS
2007
66views more  BIOINFORMATICS 2007»
15 years 3 months ago
Gene expression network analysis and applications to immunology
We address the problem of using expression data and prior biological knowledge to identify differentially expressed pathways or groups of genes. Following an idea of Ideker et al...
Serban Nacu, Rebecca Critchley-Thorne, Peter Lee, ...
147
Voted
CADE
2005
Springer
16 years 3 months ago
Proof Planning for First-Order Temporal Logic
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
Claudio Castellini, Alan Smaill
ALT
2008
Springer
16 years 17 days ago
Visual Analytics: Combining Automated Discovery with Interactive Visualizations
In numerous application areas fast growing data sets develop with ever higher complexity and dynamics. A central challenge is to filter the substantial information and to communic...
Daniel A. Keim, Florian Mansmann, Daniela Oelke, H...