5401 search results - page 689 / 1081 » Using Versions in GIS |
171
click to vote
PPAM
2005
Springer
16 years 5 days ago
2005
Springer
We describe our work in building support for streaming data services for Geographical Information System Grid services. We examine how streaming approaches may be used to increase ...
183
click to vote
ROBOCUP
2005
Springer
16 years 5 days ago
2005
Springer
UCHILSIM is a robot simulator recently introduced in the RoboCup Four Legged League. A main attractive of the simulator is the possibility of reproducing with accuracy the dynamica...
160
click to vote
TARK
2005
Springer
16 years 5 days ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
160
click to vote
VMCAI
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
162
click to vote
XPU
2005
Springer
16 years 5 days ago
2005
Springer
Source repositories are a promising database of information about software projects. This paper proposes a tool to extract and summarize information from CVS logs in order to ident...