Sciweavers

1671 search results - page 202 / 335
» On the Covering Steiner Problem
Sort
View
161
Voted
ESOP
2005
Springer
16 years 17 days ago
Interprocedural Herbrand Equalities
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
Markus Müller-Olm, Helmut Seidl, Bernhard Ste...
201
Voted
EVOW
2005
Springer
16 years 17 days ago
Evolutionary Biclustering of Microarray Data
In this work, we address the biclustering of gene expression data with evolutionary computation, which has been proven to have excellent performance on complex problems. In express...
Jesús S. Aguilar-Ruiz, Federico Divina
149
Voted
INTETAIN
2005
Springer
16 years 16 days ago
Webcrow: A Web-Based Crosswords Solver
Webcrow is a software system whose aim is to solve crosswords. Problems of like solving crosswords have been informally defined as AI-Complete and are extremely challenging for ma...
Giovanni Angelini, Marco Ernandes, Marco Gori
154
Voted
PAM
2005
Springer
16 years 16 days ago
Measurement Based Analysis of the Handover in a WLAN MIPv6 Scenario
Abstract. This paper studies the problems related to mobile connectivity on a wireless environment with Mobile IPv6, specially the handover, which is the most critical part. The ma...
Albert Cabellos-Aparicio, René Serral-Graci...
SGAI
2005
Springer
16 years 15 days ago
Geometric Proportional Analogies In Topographic Maps: Theory and Application
This paper details the application of geometric proportional analogies in the sub-classification of polygons within a topographic (land cover) map. The first part of this paper co...
Emma-Claire Mullally, Diarmuid P. O'Donoghue, Amy ...