13784 search results - page 374 / 2757 » On Computing Functions with Uncertainty |
152
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose new discrete-to-continuous interpolation models for hexagonally sampled data, that generalize two families of splines developed in the literature for the hexagonal latt...
185
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
177
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
sion of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, 2007. We present new techniques that allow a return-into-libc attack to be mounted on x86 executa...
161
click to vote
CAMP
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— In this article we propose an architecture of a tracking system that can judge its own performance by an auto-critical function. Performance drops can be detected which...
147
click to vote
AMC
2005
15 years 6 months ago
2005
We solve a Laplacian problem over an L-shaped domain using a singular function boundary integral method as well as the p/hp finite element method. In the former method, the soluti...