8298 search results - page 1397 / 1660 » Query-Free Information Retrieval |
167
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...
143
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 ...
146
Voted
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...
167
Voted
LATIN
2004
Springer
15 years 10 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
135
click to vote
SPATIALCOGNITION
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents results from a desktop experiment in which the participants’ route selection behavior in an unknown street network is investigated. The participants were pres...