7820 search results - page 1271 / 1564 » Formalization of Time and Space |
198
click to vote
PDCAT
2007
Springer
16 years 25 days 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...
150
click to vote
SAT
2007
Springer
16 years 24 days 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...
175
click to vote
SCOPES
2007
Springer
16 years 24 days 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...
194
Voted
UCS
2007
Springer
16 years 24 days 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” ...
165
click to vote
WEA
2007
Springer
16 years 24 days 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 ...