1737 search results - page 20 / 348 » On Interpolation in Existence Logics |
133
click to vote
DIAL
2006
IEEE
16 years 3 days ago
2006
IEEE
—We present a new method for interpolating binary images that outperforms existing techniques. Bitmapped images have a specific horizontal and vertical resolution. When we wish ...
165
click to vote
SIGSOFT
2006
ACM
16 years 3 hour ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
157
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
154
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
Image-based-interpolation creates smooth and photorealistic views between two view points. The concept of joint view triangulation (JVT) has been proven to be an efficient multi-v...
130
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we present a volume data model amenable to querying volumes in databases. Unlike most existing volume models, which are directed towards specific applications (notab...