165 search results - page 12 / 33 » The Complexity of Guarding Terrains |
SEW
2006
IEEE
15 years 3 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
73
Voted
SAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. We focus on the automatic verification of properties of documents that may c...
87
Voted
VTC
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract—This paper proposes a new scheme based on information theoretical criteria to estimate the Channel-ImpulseResponse (CIR) length, whose accurate estimate represents one o...
155
click to vote
GIS
2008
ACM
15 years 10 months ago
2008
ACM
We introduce a parallel approximation of an Over-determined Laplacian Partial Differential Equation solver (ODETLAP) applied to the compression and restoration of terrain data use...