1002 search results - page 92 / 201 » Reasoning about Object Structures Using Ownership |
218
Voted
GIS
2004
ACM
16 years 3 months ago
2004
ACM
The R*-tree is a state-of-the-art spatial index structure. It has already found its way into commercial systems. The most important improvement of the R*-tree over the original R-...
119
Voted
ISCI
2008
15 years 2 months ago
2008
The Semantic Web is the next step of the current Web where information will become more machine-understandable to support effective data discovery and integration. Hierarchical sc...
103
click to vote
CIE
2005
Springer
15 years 7 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
110
click to vote
ELPUB
2007
ACM
15 years 6 months ago
2007
ACM
It has become very common in the current information society to talk about "open" and to use this term as a quality mark. Open standards, open source software, open arch...
105
Voted
TPHOL
2000
IEEE
15 years 6 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...