Sciweavers

581 search results - page 95 / 117
» Incremental View Maintenance
Sort
View
FLAIRS
2004
14 years 7 days ago
The Mobile Agents Integrated Field Test
The Mobile Agents model-based, distributed architecture, which integrates diverse components in a system for lunar and planetary surface operations, was extensively tested in a tw...
William J. Clancey, Maarten Sierhuis, Rich Alena, ...
IADIS
2004
14 years 7 days ago
Web Document Classification: Managing Context Change
This paper focuses on the information management systems of the dynamic World Wide Web. Many individual web pages, such as news portals, provide periodic information and public an...
Sung Sik Park, Yang Sok Kim, Byeong Ho Kang
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 11 months ago
Certifying floating-point implementations using Gappa
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
SIAMCOMP
1998
138views more  SIAMCOMP 1998»
13 years 10 months ago
Dynamic Trees and Dynamic Point Location
This paper describes new methods for maintaining a point-location data structure for a dynamically changing monotone subdivision S. The main approach is based on the maintenance of...
Michael T. Goodrich, Roberto Tamassia
MOBIHOC
2010
ACM
13 years 8 months ago
Whirlpool routing for mobility
We present the Whirlpool Routing Protocol (WARP), which efficiently routes data to a node moving within a static mesh. The key insight in WARP's design is that data traffic c...
Jung Woo Lee, Branislav Kusy, Tahir Azim, Basem Sh...