4745 search results - page 8 / 949 » Discretization: An Enabling Technique |
COMPGEOM
2001
ACM
13 years 11 months ago
2001
ACM
This paper addresses the problem of lossy compression of arrangements. Given an arrangement of n lines in the plane, we show how to construct another arrangement consisting of man...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
COR
2006
13 years 7 months ago
2006
Discretization is defined as the process that divides continuous numeric values into intervals of discrete categorical values. In this article, the concept of cost-based discretiz...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
In this paper we demonstrate the use of an anisotropic PDE to improve the behavior of first and second derivatives of a distance function. We begin by deriving a property of these...
CHI
2008
ACM
13 years 9 months ago
2008
ACM
Existing tools require end-user programmers (EUPs) to write regular expressions ("regexps") or even scripts to validate textual inputs, which is slow and error-prone. We...