7167 search results - page 1194 / 1434 » A Technique for Invariant Generation |
201
click to vote
JIIS
2000
15 years 7 months ago
2000
Abstract. A paper document processing system is an information system component which transforms information on printed or handwritten documents into a computer-revisable form. In ...
198
click to vote
JSAC
2000
15 years 7 months ago
2000
We introduce a general adaptive coding scheme for Nakagami multipath fading channels. An instance of the coding scheme utilizes a set of 2 -dimensional (2 -D) trellis codes origina...
216
click to vote
CGF
1999
15 years 7 months ago
1999
Due to their simplicity and flexibility, polygonal meshes are about to become the standard representation for surface geometry in computer graphics applications. Some algorithms i...
193
click to vote
JSS
2002
15 years 7 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
178
click to vote
MAM
2002
15 years 7 months ago
2002
The use of a centralised planning scheduler in fieldbus-based systems requiring real-time operation has proved to be a good compromise between operational flexibility and timeline...