Sciweavers

1163 search results - page 8 / 233
» Department of Redundancy Department
Sort
View
CADE
2004
Springer
14 years 7 months ago
Model Checking Using Tabled Rewriting
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
Zhiyao Liang
INFOCOM
2010
IEEE
13 years 6 months ago
Incorporating Random Linear Network Coding for Peer-to-Peer Network Diagnosis
—Recent studies show that network coding improves multicast session throughput. In this paper, we demonstrate how random linear network coding can be incorporated to provide netw...
Elias Kehdi, Baochun Li
SIGGRAPH
1995
ACM
13 years 11 months ago
Automated learning of muscle-actuated locomotion through control abstraction
Control Abstraction Radek Grzeszczuk and Demetri Terzopoulos Department of Computer Science, University of Toronto 1
Radek Grzeszczuk, Demetri Terzopoulos
SIGUCCS
2000
ACM
13 years 11 months ago
Strategic Partnerships for Managing Labs
At Iowa State University, the Office of Academic Information Technologies, the English Department, and the Department of Residence have developed a strategic alliance to plan and ...
Linda J. Hutchison, Dennis J. Engholm