Sciweavers

79 search results - page 9 / 16
» A Result in Dual Ramsey Theory
Sort
View
POPL
2010
ACM
14 years 5 months ago
Automatically Generating Instruction Selectors Using Declarative Machine Descriptions
Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of ...
João Dias, Norman Ramsey
STOC
2006
ACM
108views Algorithms» more  STOC 2006»
14 years 7 months ago
Extractors for a constant number of polynomially small min-entropy independent sources
We consider the problem of randomness extraction from independent sources. We construct an extractor that can extract from a constant number of independent sources of length n, ea...
Anup Rao
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
14 years 8 days ago
Congestion control algorithms from optimal control perspective
— This paper is concerned with understanding the connection between the existing Internet congestion control algorithms and the optimal control theory. The available resource all...
Javad Lavaei, John C. Doyle, Steven H. Low
RAS
2006
170views more  RAS 2006»
13 years 7 months ago
Hierarchical attentive multiple models for execution and recognition of actions
According to the motor theories of perception, the motor systems of an observer are actively involved in the perception of actions when these are performed by a demonstrator. In t...
Yiannis Demiris, Bassam Khadhouri
ACL
2012
11 years 10 months ago
Humor as Circuits in Semantic Networks
This work presents a first step to a general implementation of the Semantic-Script Theory of Humor (SSTH). Of the scarce amount of research in computational humor, no research ha...
Igor Labutov, Hod Lipson