4048 search results - page 228 / 810 » Design Science, Engineering Science and Requirements Enginee... |
204
click to vote
Lab
Transportation Research At McGill (TRAM) is a research group of researchers, faculty members and students whom their work is mainly directed towards conducting research in the tran...
131
click to vote
ADC
2003
Springer
15 years 9 months ago
2003
Springer
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transac...
126
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we present a theorem for defining fixed-points in categories of sheaves. This result gives a unifying and general account of most techniques used in computer science ...
133
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
Rounding a real-valued matrix to an integer one such that the rounding errors in all rows and columns are less than one is a classical problem. It has been applied to hypergraph co...
176
click to vote
PEPM
1995
ACM
15 years 8 months ago
1995
ACM
Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract interpretation is widely accepted as a ...