Sciweavers

3007 search results - page 190 / 602
» Linear Functional Fixed-points
Sort
View
141
Voted
COMGEO
2011
ACM
14 years 10 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
120
Voted
CONCUR
2005
Springer
15 years 9 months 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 4 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 8 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 8 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