1163 search results - page 11 / 233 » Department of Redundancy Department |
CSL
2001
Springer
14 years 2 days ago
2001
Springer
act Look at Realizability Edmund Robinson and Guiseppe Rosolini Department of Computer Science Research Report No. RR-01-01 ISSN 1470-5559 March 2001
SIGUCCS
2000
ACM
13 years 12 months ago
2000
ACM
The purpose of this paper is to describe and reflect upon the successful results of a new collaborative effort involving various departments at the University of Richmond. Keyword...
CAIP
1999
Springer
13 years 12 months ago
1999
Springer
In this work, we are mainly dealing with the stitching of panoramic images. However, the methods described and evaluated here can also be used for different applications in image ...
DCC
1991
IEEE
13 years 11 months ago
1991
IEEE
d abstract) Paul G. Howard' and Jeffrey Scott Vitter2 Department of Computer Science Brown University Providence, R. I. 02912-1910
ENTCS
2011
13 years 2 months ago
2011
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada We show that an equation follows from the axioms of dagger ...