Sciweavers

1671 search results - page 202 / 335
» On the Covering Steiner Problem
Sort
View
ESOP
2005
Springer
16 years 2 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...
EVOW
2005
Springer
16 years 2 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
INTETAIN
2005
Springer
16 years 2 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
PAM
2005
Springer
16 years 1 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 1 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 ...