Sciweavers

6862 search results - page 949 / 1373
» Modeling Parallel Applications Performance on Heterogeneous ...
Sort
View
TCS
2008
15 years 6 months ago
A typed lambda calculus with intersection types
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
Viviana Bono, Betti Venneri, Lorenzo Bettini
CW
2006
IEEE
16 years 26 days ago
An Interactive Mixed Reality Framework for Virtual Humans
In this paper, we present a simple and robust Mixed Reality (MR) framework that allows for real-time interaction with Virtual Humans in real and virtual environments under consist...
Arjan Egges, George Papagiannakis, Nadia Magnenat-...
HPCA
2005
IEEE
16 years 7 months ago
Improving Multiple-CMP Systems Using Token Coherence
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...
Michael R. Marty, Jesse D. Bingham, Mark D. Hill, ...
CVPR
2003
IEEE
16 years 8 months ago
A Novel Model for Orientation Field of Fingerprints
As a global feature of fingerprint, orientation field is very important to automatic fingerprint identification system (AFIS). Establishing an accurate and concise model for orien...
Jinwei Gu, Jie Zhou
AIA
2006
15 years 8 months ago
Computational Model of Speech Understanding
This paper proposes a speech comprehension computational model based on neurocognitiveresearches. The computational representation uses techniques as wavelets transform and connec...
Daniel Nehme Müller, Philippe Olivier Alexand...