4013 search results - page 193 / 803 » computer 2002 |
159
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
120
Voted
RECOMB
2002
Springer
16 years 4 months ago
2002
Springer
A current high-priority phase of human genomics involves the development of a full Haplotype Map of the human genome [23]. It will be used in large-scale screens of populations to...
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
Morphological pattern spectra computed from granulometries are frequently used to classify the size classes of details in textures and images. An extension of this technique, whic...
125
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we analyze the performance of a mobile agent based approach for discovering and allocating resources in large scale networks. We compare this approach with the trad...
143
click to vote
PRDC
2002
IEEE
15 years 9 months ago
2002
IEEE
Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper ...