Sciweavers

17680 search results - page 3328 / 3536
» Simulation of Computer Systems and Applications
Sort
View
EMSOFT
2009
Springer
16 years 1 months ago
Probabilistic modeling of data cache behavior
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
Vinayak Puranik, Tulika Mitra, Y. N. Srikant
ICANN
2009
Springer
16 years 1 months ago
Multimodal Sparse Features for Object Detection
In this paper the sparse coding principle is employed for the representation of multimodal image data, i.e. image intensity and range. We estimate an image basis for frontal face i...
Martin Haker, Thomas Martinetz, Erhardt Barth
ICB
2009
Springer
355views Biometrics» more  ICB 2009»
16 years 1 months ago
3D Signatures for Fast 3D Face Recognition
We propose a vector representation (called a 3D signature) for 3D face shape in biometrics applications. Elements of the vector correspond to fixed surface points in a face-centere...
Chris Boehnen, Tanya Peters, Patrick J. Flynn
ICIAR
2009
Springer
16 years 1 months ago
Interactive Image Segmentation Based on Hierarchical Graph-Cut Optimization with Generic Shape Prior
Abstract. A new algorithm for interactive image segmentation is proposed. Besides the traditional appearance and gradient information, a new Generic Shape Prior (GSP) knowledge whi...
Chen Liu, Fengxia Li, Yan Zhang, Haiyang Gu
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
16 years 1 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
« Prev « First page 3328 / 3536 Last » Next »