Sciweavers

3320 search results - page 241 / 664
» Heuristics for the Phylogeny Problem
Sort
View
ICDE
2007
IEEE
117views Database» more  ICDE 2007»
16 years 8 months ago
Finding Skyline and Top-k Bargaining Solutions
We address skyline and top-k processing in web interaction scenarios. We model the problem space based on game theory principles and present new algorithms and heuristics to reali...
Mohamed A. Soliman, Ihab F. Ilyas, Nick Koudas
GIS
2005
ACM
16 years 7 months ago
Contraflow network reconfiguration for evacuation planning: a summary of results
Contraflow, or lane reversal, is a way of increasing outbound capacity of a real network by reversing the direction of inbound roads during evacuations. The contraflow is consider...
Sangho Kim, Shashi Shekhar
CADE
2007
Springer
16 years 7 months ago
SRASS - A Semantic Relevance Axiom Selection System
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
Geoff Sutcliffe, Yury Puzis
163
Voted
RP
2009
Springer
121views Control Systems» more  RP 2009»
16 years 1 months ago
Games with Opacity Condition
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
Bastien Maubert, Sophie Pinchinat
GECCO
2005
Springer
16 years 7 days ago
On the practical genetic algorithms
This paper offers practical design-guidelines for developing efficient genetic algorithms (GAs) to successfully solve realworld problems. As an important design component, a prac...
Chang Wook Ahn, Sanghoun Oh, Rudrapatna S. Ramakri...