Sciweavers

3838 search results - page 348 / 768
» The Autonomic Computing Paradigm
Sort
View
TYPES
2007
Springer
16 years 23 days ago
On Normalization by Evaluation for Object Calculi
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...
Jan Schwinghammer
FGR
2006
IEEE
211views Biometrics» more  FGR 2006»
16 years 21 days ago
Face Recognition based on a 3D Morphable Model
This paper summarizes the main concepts of Morphable Models of 3D faces, and describes two algorithms for 3D surface reconstruction and face recognition. The first algorithm is b...
Volker Blanz
ICALT
2005
IEEE
16 years 8 days ago
Understanding Object-Oriented Software through Virtual Role-Play
Visualization techniques are commonly used in computer science, particularly for understanding the interactions intrinsic in the object-oriented paradigm. The visualization effect...
Guillermo Jiménez-Díaz, Mercedes G&o...
RTCSA
2005
IEEE
16 years 7 days ago
Real-Time Scheduling of Sporadic Task Systems When the Number of Distinct Task Types Is Small
In some real-time application systems, there are only a few distinct kinds of tasks, each of which may be instantiated several times during runtime. The scheduling of such sporadi...
Sanjoy K. Baruah, Nathan Fisher
EUROPAR
2005
Springer
16 years 5 days ago
Performance Cockpit: An Extensible GUI Platform for Performance Tools
Within the EP-Cache project, the Performance Cockpit has been developed to provide a unified GUI for a series of performance tools. This is achieved through the establishment of a...
Tianchao Li, Michael Gerndt