Sciweavers

1742 search results - page 274 / 349
» An Applicative Module Calculus
Sort
View
139
Voted
CCR
2004
147views more  CCR 2004»
15 years 2 months ago
Safe compositional specification of networking systems
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
161
Voted
CORR
2009
Springer
242views Education» more  CORR 2009»
15 years 12 days ago
Adaptive Scheduling of Data Paths using Uppaal Tiga
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
Israa AlAttili, Fred Houben, Georgeta Igna, Steffe...
229
Voted
CVPR
2005
IEEE
16 years 4 months ago
A High Resolution Grammatical Model for Face Representation and Sketching
In this paper we present a generative, high resolution face representation which extends the well-known active appearance model (AAM)[5, 6, 7] with two additional layers. (i) One ...
Zijian Xu, Hong Chen, Song Chun Zhu
ICCV
2003
IEEE
16 years 4 months ago
Mean Shift Based Clustering in High Dimensions: A Texture Classification Example
Feature space analysis is the main module in many computer vision tasks. The most popular technique, k-means clustering, however, has two inherent limitations: the clusters are co...
Bogdan Georgescu, Ilan Shimshoni, Peter Meer
102
Voted
ICIP
2003
IEEE
16 years 4 months ago
Embedded co-processor architecture for CMOS based image acquisition
This paper describes a new co-processor architecture designed for CMOS sensor imaging. The co-processor unit is integrated into the image acquisition loop so as to exploit the ful...
Julien Dubois, Marco Mattavelli