Sciweavers

3007 search results - page 190 / 602
» Linear Functional Fixed-points
Sort
View
COMGEO
2011
ACM
15 years 1 months ago
A note on the perimeter of fat objects
In this note, we show that the size of the perimeter of (α, β)-covered objects is a linear function of the diameter. Specifically, for an (α, β)-covered object O, per(O) ≤ c...
Prosenjit Bose, Otfried Cheong, Vida Dujmovic
CONCUR
2005
Springer
16 years 1 days ago
Type-Directed Concurrency
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
Deepak Garg, Frank Pfenning
ECAI
2010
Springer
15 years 7 months ago
Kernel Methods for Revealed Preference Analysis
In classical revealed preference analysis we are given a sequence of linear prices (i.e., additive over goods) and an agent's demand at each of the prices. The problem is to d...
Sébastien Lahaie
EUROPAR
2004
Springer
15 years 12 months ago
Visual Data Rectangular Memory
We focus on the parallel access of randomly aligned rectangular blocks of visual data. As an alternative of traditional linearly addressable memories, we suggest a memory organizat...
Georgi Kuzmanov, Georgi Gaydadjiev, Stamatis Vassi...
MM
2003
ACM
113views Multimedia» more  MM 2003»
15 years 11 months ago
The combination limit in multimedia retrieval
Combining search results from multimedia sources is crucial for dealing with heterogeneous multimedia data, particularly in multimedia retrieval where a final ranked list of item...
Rong Yan, Alexander G. Hauptmann