1163 search results - page 19 / 233 » Department of Redundancy Department |
TPHOL
1998
IEEE
13 years 12 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
WDAG
1998
Springer
13 years 11 months ago
1998
Springer
d Abstract) James H. Anderson, Rohit Jain, and David Ott Department of Computer Science University of North Carolina at Chapel Hill We consider wait-free synchronization in multipr...
WSC
2007
13 years 10 months ago
2007
On May 4, 1988 a fire occurred after hours on the 12th floor of the First Interstate Bank building, a 62 story steelframe office tower in Los Angeles California. The sprinkler sys...
SERP
2003
13 years 9 months ago
2003
This paper outlines the motivation for, and the development of, an online advisement scheduling system, OASIS, which will be used in the Computer Science Department at the Univers...
IVCNZ
1998
13 years 9 months ago
1998
In this highly technological world, various methods have been developed for the purpose of recovering the shape of 3D objects from 2D images. In this paper, we introduce methods t...