1209 search results - page 122 / 242 » Universal Algebra and Computer Science |
114
click to vote
SIGCSE
2000
ACM
15 years 7 months ago
2000
ACM
We describe a Web-based interactive system, called PILOT, for testing computer science concepts. The strengths of PILOT are its universal access and platform independence, its use...
ER
2006
Springer
15 years 7 months ago
2006
Springer
regated Graphs for Modeling Spatio-Temporal Networks - An Extended Abstract Technical Report Department of Computer Science and Engineering University of Minnesota 4-192 EECS Build...
167
click to vote
PEPM
1995
ACM
15 years 6 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 ...
107
click to vote
ASAP
2010
IEEE
15 years 4 months ago
2010
IEEE
urrence abstractions Arpith C. Jacob Jeremy D. Buhler Roger D. Chamberlain Arpith C. Jacob, Jeremy D. Buhler, and Roger D. Chamberlain, "Design of ut-optimized arrays from rec...
121
click to vote
IVCNZ
1998
15 years 4 months ago
1998
Traditional scenario of probabilistic modelling is directed at generating samples having a given probability distribution. We argue that this scenario is impracticable for image m...