9110 search results - page 1502 / 1822 » Formally-Based Design Evaluation |
154
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Network tomography has been proposed to ascertain internal network performances from end-to-end measurements. In this work, we present priority probing, an optimal probing schem...
209
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—We study power control in a multi-cell CDMA wireless system whereby self-interested users share a common spectrum and interfere with each other. Our objective is to design a pow...
167
click to vote
IS
2010
15 years 5 months ago
2010
In this paper, we present the main features of VISTO (Vector Image Serach TOol), a new Content-Based Image Retrieval (CBIR) system for vector images. Though unsuitable for photore...
168
click to vote
ISCI
2010
15 years 5 months ago
2010
In this work a new optimization method, called the heuristic Kalman algorithm (HKA), is presented. This new algorithm is proposed as an alternative approach for solving continuous,...
171
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
A bioinformatics analysis pipeline is often highly elaborate, due to the inherent complexity of biological systems and the variety and size of laboratory publications would be high...