4106 search results - page 76 / 822 » A Computational Model for Metric Spaces |
ECCC
2007
13 years 9 months ago
2007
We prove space hierarchy and separation results for randomized and other semantic models of computation with advice where a machine is only required to behave appropriately when g...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
ICIP
2009
IEEE
13 years 6 months ago
2009
IEEE
This paper proposes an objective video quality metric based on an analysis of spatial and temporal distortions. Spatial quality features extracted from the spatiotemporal region o...
FOCS
2004
IEEE
14 years 25 days ago
2004
IEEE
The Metric Labeling problem is an elegant and powerful mathematical model capturing a wide range of classification problems. The input to the problem consists of a set of labels a...
PG
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we introduce a mesh approximation method that uses a volume-based metric. After a geometric simplification, we minimize the volume between the simplified mesh and th...