3690 search results - page 412 / 738 » Computation with classical sequents |
205
Voted
RECOMB
2009
Springer
16 years 2 months ago
2009
Springer
Comparing genomes of different species is a crucial problem in comparative genomics. Different measures have been proposed to compare two genomes: number of common intervals, num...
193
click to vote
CCGRID
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper presents “Self-Chord”, a bio-inspired P2P algorithm that can be profitably adopted to build the information service of distributed systems, in particular Computati...
204
Voted
CSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Interaction with mobile devices that are intended for everyday use is challenging since such systems are continuously optimized towards small outlines. Watches are a particularl...
241
click to vote
FSTTCS
2009
Springer
16 years 2 months ago
2009
Springer
ABSTRACT. A non-local box is an abstract device into which Alice and Bob input bits x and y respectively and receive outputs a and b respectively, where a, b are uniformly distribu...
177
Voted
CLUSTER
2008
IEEE
16 years 2 months ago
2008
IEEE
— Applications raising in many scientific fields exhibit both data and task parallelism that have to be exploited efficiently. A classic approach is to structure those applica...