Sciweavers

4498 search results - page 145 / 900
» How to Invent Functions
Sort
View

Book
267views
16 years 10 months ago
Advanced Programming for the Java 2 Platform
"As an experienced developer on the Java platform, you undoubtedly know how fast moving and comprehensive the platform is. Its many application programming interfaces (APIs) p...
Calvin Austin and Monica Pawlan
WOLLIC
2007
Springer
15 years 8 months ago
Computational Interpretations of Classical Linear Logic
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
Paulo Oliva
123
Voted
CSFW
2000
IEEE
15 years 7 months ago
Reasoning about Secrecy for Active Networks
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
Pankaj Kakkar, Carl A. Gunter, Martín Abadi
88
Voted
BTW
2009
Springer
117views Database» more  BTW 2009»
15 years 5 months ago
Bringing BLINK Closer to the Full Power of SQL
: BLINK is a prototype of an in-memory based query processor that exploits heavily the underlying CPU infrastructure. It is very sensitive to the processor’s caches and instructi...
Knut Stolze, Vijayshankar Raman, Richard Sidle, O....
100
Voted
ICIP
1998
IEEE
16 years 4 months ago
Minimum Support Interpolators with Optimum Approximation Properties
Abstract- We investigate the functions of given approximation order L that have the smallest support. Those are shown to be linear combinations of the Bspline of degree .L - 1 and ...
Michael Unser, Philippe Thévenaz, Thierry B...