1686 search results - page 74 / 338 » Higher Order Deforestation |
144
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Information flow analysis is a powerful technique for reasoning about the sensitive information exposed by a program during its execution. While past work has proposed information...
134
click to vote
TIM
2010
14 years 10 months ago
2010
Abstract--An approach for the construction of a family of desired order continuous polynomial time window functions is presented without self-convolution of the parent window. The ...
129
click to vote
INTERSPEECH
2010
14 years 10 months ago
2010
In speech research using real-time magnetic resonance imaging (RT-MRI), frame reconstruction is typically performed with a constant temporal resolution. However, a flexible select...
141
click to vote
AGI
2011
14 years 7 months ago
2011
Extraordinary structural organization known as emergence is observed in partially ordered sets when a recently discovered functional is minimized. Emergence creates the first stru...
160
click to vote
SAC
2011
ACM
14 years 6 months ago
2011
ACM
Higher-Order Logic (HOL) is based on a small logic kernel, whose