1018 search results - page 6 / 204 » Property Testing in Computational Geometry |
JAR
2000
13 years 8 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
ICDCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
APPROX
2009
Springer
14 years 3 months ago
2009
Springer
Property testing is concerned with deciding whether an object (e.g. a graph or a function) has a certain property or is “far” (for some definition of far) from every object w...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
Motion and interaction with the environment are fundamentally
intertwined. Few people-tracking algorithms exploit
such interactions, and those that do assume that surface
geomet...
IMR
2003
Springer
14 years 1 months ago
2003
Springer
A local cell quality metric is introduced and used to construct a variational functional for a grid smoothing algorithm. A maximum principle is proved and the properties of the loc...