1773 search results - page 244 / 355 » The Visibility-Voronoi Complex and Its Applications |
171
click to vote
ITP
2010
15 years 10 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
146
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
We present a case study to demonstrate the possibility of discovering complex and interesting latent structures using hierarchical latent class (HLC) models. A similar effort was m...
136
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Invariants that incrementally maintain the value of expresder assignments to their variables are a natural abstraction to build high-level local search algorithms. But th...
187
click to vote
DCOSS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a distributed scheme called Adaptive-GroupMerge for sensor networks that, given a parameter k, approximates a geometric shape by a k-vertex polygon. The algori...
147
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
We argue that a roadmap for software engineering and the Internet currently should be based on standards for complex data and document structures, like the Extensible Markup Langu...