8874 search results - page 160 / 1775 » A New Implementation of Automath |
133
click to vote
IPSN
2005
Springer
15 years 9 months ago
2005
Springer
Surveillance has been a typical application of wireless sensor networks. To conduct surveillance of a given area in real life, one can use stationary watch towers, or can also use...
114
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
123
Voted
GRAPHITE
2004
ACM
15 years 9 months ago
2004
ACM
Several factors currently limit the size of Virtual Reality Modeling Language (VRML) models that can be effectively visualized over the Web. Main factors include network bandwidth...
117
click to vote
ICDM
2003
IEEE
15 years 9 months ago
2003
IEEE
Algorithms for tracking concept drift are important for many applications. We present a general method based on the Weighted Majority algorithm for using any online learner for co...
115
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
—This paper is aimed at designing a congestion control system that scales gracefully with network capacity, providing high utilization, low queueing delay, dynamic stability, and...