8311 search results - page 1360 / 1663 » Phase-Based Information Retrieval |
159
click to vote
ISSADS
2004
Springer
15 years 10 months ago
2004
Springer
The recent emergence of handheld devices and wireless networks has implied an exponential increase of terminals users. So, today, service providers have to propose new application...
143
click to vote
LATIN
2004
Springer
15 years 10 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
159
click to vote
LATIN
2004
Springer
15 years 10 months ago
2004
Springer
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...
136
click to vote
LATIN
2004
Springer
15 years 10 months ago
2004
Springer
Consider a game in which edges of a graph are provided a pair at a time, and the player selects one edge from each pair, attempting to construct a graph with a component as large ...
141
click to vote
LATIN
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of protein folding in the HP model on the 3D square lattice. This problem is combinatorially equivalent to folding a string of 0’s and 1’s so that the s...