1205 search results - page 190 / 241 » Program Extraction from Large Proof Developments |
109
click to vote
IJRR
2000
15 years 1 months ago
2000
The hierarchical generalized Voronoi graph (HGVG) is a new roadmap developed for sensor-based exploration in unknown environments. This paper defines the HGVG structure: a robot c...
111
click to vote
EDBT
2008
ACM
16 years 1 months ago
2008
ACM
Structured P2P systems have been developed for constructing applications at internet scale in cooperative environments and exhibit a number of desirable features such as scalabili...
112
click to vote
CIKM
2007
Springer
15 years 7 months ago
2007
Springer
Queries issued by casual users or specialists exploring a data set often point us to important subsets of the data, be it clusters, outliers or other features of particular import...
119
click to vote
WIOPT
2005
IEEE
15 years 7 months ago
2005
IEEE
End-to-end encryption schemes that support operations over ciphertext are of utmost importance for commercial private party Wireless Sensor Network implementations to become meani...
113
click to vote
JAL
2002
15 years 1 months ago
2002
We take a multivariate view of digital search trees by studying the number of nodes of different types that may coexist in a bucket digital search tree as it grows under an arbitr...