Sciweavers

7519 search results - page 435 / 1504
» Optimizing Generic Functions
Sort
View
TSP
2012
14 years 2 months ago
Optimized Compact-Support Interpolation Kernels
Abstract—In this paper, we investigate the problem of designing compact-support interpolation kernels for a given class of signals. By using calculus of variations, we simplify t...
Ramtin Madani, Ali Ayremlou, Arash Amini, Farrokh ...
ECCV
1994
Springer
16 years 8 months ago
Using 3-Dimensional Meshes To Combine Image-Based and Geometry-Based Constraints
A uni ed framework for 3 D shape reconstruction allows us to combine image-based and geometry-based information sources. The image information is akin to stereo and shape-fromshad...
Pascal Fua, Yvan G. Leclerc
ICFP
2004
ACM
16 years 6 months ago
From process logic to program logic
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
Kohei Honda
AFP
2008
Springer
249views Formal Methods» more  AFP 2008»
16 years 1 months ago
An iTask Case Study: A Conference Management System
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
CSMR
2007
IEEE
16 years 1 months ago
A Multi-view Toolkit to Assist Software Integration and Evolution
Software product line engineering aims at producing functionally similar software systems as a family of products. In this process, the development life cycle has been shifted from...
Kamran Sartipi