7167 search results - page 1094 / 1434 » A Technique for Invariant Generation |
198
click to vote
SIBGRAPI
2003
IEEE
16 years 26 days ago
2003
IEEE
This paper introduces a methodology for adding color to grayscale images in a way that is completely automatic. Towards this goal, we build on a technique that was recently develo...
232
click to vote
VISUALIZATION
2003
IEEE
16 years 26 days ago
2003
IEEE
We present a feasibility study on using video visualization to aid snooker skill training. By involving the coaches and players in the loop of intelligent reasoning, our approach ...
219
click to vote
VISUALIZATION
2003
IEEE
16 years 26 days ago
2003
IEEE
In this paper we offer several new insights and techniques for effectively using color and texture to simultaneously convey information about multiple 2D scalar and vector distrib...
197
click to vote
ACMICEC
2003
ACM
16 years 26 days ago
2003
ACM
This paper describes PayCash, an Internet payment system that was designed to offer strong security and privacy protection. This system is based on the concept of electronic cash,...
215
click to vote
APLAS
2003
ACM
16 years 26 days ago
2003
ACM
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...