L.+Neil+Smith

 More results for "L.+Neil+Sm..." in  VIDEOS DOCUMENTS AUDIOS GROUPS STAGES/PROFILES ALL

• 

• Automatic Detection of Authorship Changes within Single 2003
• Automatic Detection of Authorship Changes within Single Documents Neil Graham Master of Science Graduate Department of Computer Science University of Toronto 2000 One of the most difficult tasks facin...
• Rating:        Views: (1021)     Pages: ()     Uploaded: 13-05-09
•  

• 

• Eta Expansions in System F 1996 6 citations ? 0 self
• The use of expansionary j-rewrite rules in various typed -calculi has become increasingly common in recent years as their advantages over contractive j-rewrite rules have become apparent. Not only doe...
• Rating:        Views: (1017)     Pages: ()     Uploaded: 13-05-09
•  

• 

• Eta Expansions in System F 1996 6 citations ? 0 self
• The use of expansionary j-rewrite rules in various typed -calculi has become increasingly common in recent years as their advantages over contractive j-rewrite rules have become apparent. Not only doe...
• Rating:        Views: (1022)     Pages: ()     Uploaded: 13-05-09
•  

• 

• Eta Expansions in System F 1996 6 citations ? 0 self
• The use of expansionary j-rewrite rules in various typed -calculi has become increasingly common in recent years as their advantages over contractive j-rewrite rules have become apparent. Not only doe...
• Rating:        Views: (1011)     Pages: ()     Uploaded: 13-05-09
•  

• 

• Avoiding Tests for Subsumption 1994
• Useful equivalence-preserving operations based on antilinks are described. These operations eliminate a potentially large number of subsumed paths in a negation normal form formula. Those anti-links t...
• Rating:        Views: (1016)     Pages: ()     Uploaded: 13-05-09
•  

• 

• Extending Lossless Image Compression
• We develop a lossless compression scheme for colour video that takes advantage of the spatial, spectral and temporal redundancy inherent in such data. We show that an adaptive scheme is vital to ensur...
• Rating:        Views: (1006)     Pages: ()     Uploaded: 15-05-09
•  

• 

• Avoiding Tests for Subsumption 1994
• Useful equivalence-preserving operations based on antilinks are described. These operations eliminate a potentially large number of subsumed paths in a negation normal form formula. Those anti-links t...
• Rating:        Views: (1008)     Pages: ()     Uploaded: 15-05-09
•  

• 

• Extending Lossless Image Compression
• We develop a lossless compression scheme for colour video that takes advantage of the spatial, spectral and temporal redundancy inherent in such data. We show that an adaptive scheme is vital to ensur...
• Rating:        Views: (1008)     Pages: ()     Uploaded: 13-05-09
•