Sciweavers

3670 search results - page 288 / 734
» Linear Recursive Functions
Sort
View
IBPRIA
2005
Springer
16 years 12 days ago
A Real-Time Gabor Primal Sketch for Visual Attention
We describe a fast algorithm for Gabor filtering, specially designed for multi-scale image representations. Our proposal is based on three facts: first, Gabor functions can be de...
Alexandre Bernardino, José Santos-Victor
POLICY
2005
Springer
16 years 11 days ago
A Model for Usage Policy-Based Resource Allocation in Grids
Challenging usage policy issues can arise within virtual organizations (VOs) that integrate participants and resources spanning multiple physical institutions. Participants may wi...
Catalin Dumitrescu, Michael Wilde, Ian T. Foster
195
Voted
WG
2005
Springer
16 years 10 days ago
Algebraic Operations on PQ Trees and Modular Decomposition Trees
Partitive set families are families of sets that can be quite large, but have a compact, recursive representation in the form of a tree. This tree is a common generalization of PQ...
Ross M. McConnell, Fabien de Montgolfier
IFIP
2004
Springer
16 years 7 days ago
Ensuring Termination by Typability
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
Yuxin Deng, Davide Sangiorgi
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
16 years 5 days ago
Improved Time Domain Simulation of Optical Multimode Intrasystem Interconnects
To increase the bandwidth of high-performance intrasystem interconnections optical multimode waveguides can be used. Since the design procedure of optical interconnections has to ...
Jens Gerling, Oliver Stübbe, Jürgen Schr...