7820 search results - page 1271 / 1564 » Formalization of Time and Space |
221
Voted
PDCAT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Survivable network design has become increasingly important due to the need for reliable communication service. Its main purpose is to provide cost-efficient spare capaci...
180
Voted
SAT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
197
Voted
SCOPES
2007
Springer
16 years 1 months ago
2007
Springer
Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago. These applicatio...
219
click to vote
UCS
2007
Springer
16 years 1 months ago
2007
Springer
A ubiquitous environment enable us to enjoy various services “anytime” ”anywhere”. However, “everyone” is not realized. We research an intelligent space “everyone” ...
182
click to vote
WEA
2007
Springer
16 years 1 months ago
2007
Springer
We study the real algorithm for the point-to-point shortest path problem. It combines A∗ search search, landmark-based lower bounds, and reach-based pruning. We suggest several ...