Sciweavers

12807 search results - page 2523 / 2562
» Application - Platform Performance Modeling and Evaluation
Sort
View
125
Voted
DATE
2004
IEEE
145views Hardware» more  DATE 2004»
15 years 7 months ago
Hierarchical Adaptive Dynamic Power Management
Dynamic power management aims at extending battery life by switching devices to lower-power modes when there is a reduced demand for service. Static power management strategies can...
Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu
144
Voted
FMCAD
2006
Springer
15 years 7 months ago
An Integration of HOL and ACL2
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
Michael J. C. Gordon, James Reynolds, Warren A. Hu...
CVPR
2010
IEEE
15 years 6 months ago
Multi-Task Warped Gaussian Process for Personalized Age Estimation
Automatic age estimation from facial images has aroused research interests in recent years due to its promising potential for some computer vision applications. Among the methods ...
Yu Zhang, Dit-Yan Yeung
SCA
2007
15 years 6 months ago
Deformation styles for spline-based skeletal animation
We present a novel skinned skeletal animation system based on spline-aligned deformations for providing high quality and fully designable deformations in real-time. Our ambition i...
Sven Forstmann, Jun Ohya, Artus Krohn-Grimberghe, ...
IMC
2007
ACM
15 years 5 months ago
Understanding the limitations of transmit power control for indoor wlans
A wide range of transmit power control (TPC) algorithms have been proposed in recent literature to reduce interference and increase capacity in 802.11 wireless networks. However, ...
Vivek Shrivastava, Dheeraj Agrawal, Arunesh Mishra...
« Prev « First page 2523 / 2562 Last » Next »