3477 search results - page 292 / 696 » From Tables to Frames |
180
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
188
click to vote
CAMP
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract— An image sensor in which each pixel has a processing element is called a vision chip. The vision chip can perform real-time visual processing at a high frame rate of 10...
165
click to vote
ICMCS
2005
IEEE
16 years 12 days ago
2005
IEEE
In this paper, the performance of the Earth Mover’s Distance (EMD) vs χ2 distance as histogram similarity metrics for image retrieval is evaluated experimentally. Ground truth ...
162
click to vote
APLAS
2005
ACM
16 years 11 days ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
161
click to vote
PG
2003
IEEE
16 years 2 days ago
2003
IEEE
Interactive visualization of complex, real-world light sources has so far not been feasible. In this paper, we present an hardware accelerated direct lighting algorithm based on a...