Sciweavers

4064 search results - page 297 / 813
» Animation: can it facilitate
Sort
View
LCPC
2004
Springer
14 years 1 months ago
Trimaran: An Infrastructure for Research in Instruction-Level Parallelism
Trimaran is an integrated compilation and performance monitoring infrastructure. The architecture space that Trimaran covers is characterized by HPL-PD, a parameterized processor a...
Lakshmi N. Chakrapani, John C. Gyllenhaal, Wen-mei...
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
14 years 1 months ago
Information Flow Analysis in Logical Form
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
Torben Amtoft, Anindya Banerjee
SEM
2004
Springer
14 years 1 months ago
Accuracy of Performance Prediction for EJB Applications: A Statistical Analysis
Abstract. A challenging software engineering problem is the design and implementation of component-based (CB) applications that can meet specified performance requirements. Our PPC...
Yan Liu, Ian Gorton
SINOBIOMETRICS
2004
Springer
14 years 1 months ago
Pose Normalization Using Generic 3D Face Model as a Priori for Pose-Insensitive Face Recognition
Abrupt performance degradation caused by face pose variations has been one of the bottlenecks for practical face recognition applications. This paper presents a practical pose norm...
Xiujuan Chai, Shiguang Shan, Wen Gao, Xin Liu
HLK
2003
IEEE
14 years 1 months ago
Extraction, matching and pose recovery based on dominant rectangular structures
Man-made environments possess many regularities which can be efficiently exploited for image based rendering as well as robotic visual navigation and localization tasks. In this ...
Wei Zhang, Jana Kosecká