6020 search results - page 1158 / 1204 » A New Approach to Model Counting |
168
click to vote
CLADE
2003
IEEE
15 years 9 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
143
click to vote
NETGAMES
2003
ACM
15 years 9 months ago
2003
ACM
Plenty of work was contributed in the field of protocol design and performance evaluation of multi-hop networks. It is generally accepted that mobility has a huge impact on the p...
129
click to vote
SPAA
2010
ACM
15 years 9 months ago
2010
ACM
In this paper we study a dynamic version of capacity maximization in the physical model of wireless communication. In our model, requests for connections between pairs of points i...
203
click to vote
COLCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—Geospatial tagging (geotagging) is an emerging and very promising application that can help users find a wide variety of location-specific information, and facilitate the deve...
156
click to vote
DIS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The Symposium on Computational Discovery of Communicable Knowledge was held from March 24 to 25, 2001, at Stanford University. Fifteen speakers reviewed recent advances i...