1686 search results - page 74 / 338 » Higher Order Deforestation |
179
click to vote
CORR
2010
Springer
15 years 15 days 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...
150
click to vote
TIM
2010
15 years 7 days 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 ...
147
click to vote
INTERSPEECH
2010
15 years 10 days 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...
160
click to vote
AGI
2011
14 years 9 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...
186
click to vote
SAC
2011
ACM
14 years 8 months ago
2011
ACM
Higher-Order Logic (HOL) is based on a small logic kernel, whose