8917 search results - page 1586 / 1784 » Abstraction in Algorithm Animation |
127
click to vote
MP
2006
15 years 3 months ago
2006
Abstract. We consider the network design problem which consists in determining at minimum cost a 2-edge connected network such that the shortest cycle (a "ring") to which...
151
Voted
MST
2006
15 years 3 months ago
2006
Abstract. Many researchers have had fun searching for and rendering symmetric Venn diagrams, culminating in the recent result of Griggs, Killian, and Savage ("Venn Diagrams an...
125
click to vote
NJC
2006
15 years 3 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
148
click to vote
PC
2006
15 years 3 months ago
2006
Trees are important datatypes that are often used in representing structured data such as XML. Though trees are widely used in sequential programming, it is hard to write efficien...
151
click to vote
PERVASIVE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Location-aware services can benefit from accurate and reliable indoor location tracking. The widespread adoption of 802.11x wireless LAN as the network infrastructure cre...