Sciweavers

6575 search results - page 810 / 1315
» Specializing visualization algorithms
Sort
View
LICS
2005
IEEE
15 years 12 months ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe
RTSS
2005
IEEE
15 years 12 months ago
Energy-Aware Modeling and Scheduling of Real-Time Tasks for Dynamic Voltage Scaling
Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...
Xiliang Zhong, Cheng-Zhong Xu
MM
2005
ACM
139views Multimedia» more  MM 2005»
15 years 12 months ago
Exploiting self-adaptive posture-based focus estimation for lecture video editing
Head pose plays a special role in estimating a presenter’s focuses and actions for lecture video editing. This paper presents an efficient and robust head pose estimation algori...
Feng Wang, Chong-Wah Ngo, Ting-Chuen Pong
MM
2005
ACM
145views Multimedia» more  MM 2005»
15 years 12 months ago
Multiple instance learning for labeling faces in broadcasting news video
Labeling faces in news video with their names is an interesting research problem which was previously solved using supervised methods that demand significant user efforts on lab...
Jun Yang 0003, Rong Yan, Alexander G. Hauptmann
ADAEUROPE
2005
Springer
15 years 12 months ago
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
Mario Aldea Rivas, Javier Miranda, Michael Gonz&aa...