Sciweavers

4433 search results - page 456 / 887
» Dynamic Optimization of Micro-Operations
Sort
View
ICCAD
2001
IEEE
167views Hardware» more  ICCAD 2001»
16 years 3 months ago
Energy Efficient Real-Time Scheduling
- Real-time scheduling on processors that support dynamic voltage and frequency scaling is analyzed. The Slacked Earliest Deadling First (SEDF) algorithm is proposed and it is show...
Amit Sinha, Anantha Chandrakasan
TABLEAUX
2009
Springer
16 years 1 months ago
Sound Global State Caching for ALC with Inverse Roles
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability with respect to a TBox in the logic ALCI using global state caching. ...
Rajeev Goré, Florian Widmann
APSCC
2008
IEEE
16 years 1 months ago
Adaptive Learning Sequencing for Course Customization: A Web Service Approach
— We discuss a learning model that enables the creation of optimal learning strategies that suit learners’ needs. A customized learning content is delivered to learners as mana...
Ivan Madjarov, Abdelkader Bétari
ABIALS
2008
Springer
16 years 1 months ago
A Two-Level Model of Anticipation-Based Motor Learning for Whole Body Motion
Abstract. We present a model of motor learning based on a combination of Operational Space Control and Optimal Control. Anticipatory processes are used both in the learning of the ...
Camille Salaün, Vincent Padois, Olivier Sigau...
VTC
2007
IEEE
129views Communications» more  VTC 2007»
16 years 1 months ago
Hybrid Model of Least Squares Handover Algorithms in Wireless Networks
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...
Claudia Rinaldi, Fortunato Santucci, Carlo Fischio...