7811 search results - page 1464 / 1563 » computing 2004 |
126
click to vote
ISAAC
2004
Springer
15 years 8 months ago
2004
Springer
RNA molecules whose secondary structures contain similar substructures often have similar functions. Therefore, an important task in the study of RNA is to develop methods for disc...
148
click to vote
ISAAC
2004
Springer
15 years 8 months ago
2004
Springer
For c ∈ R, a c-spanner is a subgraph of a complete Euclidean graph satisfying that between any two vertices there exists a path of weighted length at most c times their geometric...
143
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
One of the major advances in classical planning has been the development of Graphplan. Graphplan builds a layered structure called the planning graph, and then searches this struc...
130
click to vote
LATIN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
119
click to vote
MDM
2004
Springer
15 years 8 months ago
2004
Springer
We consider in this paper how to leverage heterogeneous mobile computing capability for efficient processing of real-time range-monitoring queries. In our environment, each mobil...