Sciweavers

2725 search results - page 351 / 545
» Constraint Solving for Interpolation
Sort
View
IJCAI
1997
15 years 6 months ago
Development of Iterative Real-time Scheduler to Planner Feedback
Planning for real-time applications involves decisions not only about what actions to take in what states to progress toward achieving goals (the traditional decision problem face...
Charles B. McVey, Ella M. Atkins, Edmund H. Durfee...
134
Voted
GECCO
2008
Springer
126views Optimization» more  GECCO 2008»
15 years 5 months ago
Swarm intelligence in e-learning: a learning object sequencing agent based on competencies
In e-learning initiatives content creators are usually required to arrange a set of learning resources in order to present them in a comprehensive way to the learner. Course mater...
Luis de Marcos, José-Javier Martínez...
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
15 years 4 months ago
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
Weixun Wang, Xiaoke Qin, Prabhat Mishra
CORR
2010
Springer
168views Education» more  CORR 2010»
15 years 4 months ago
Penalty Decomposition Methods for Rank Minimization
In this paper we consider general rank minimization problems with rank appearing in either objective function or constraint. We first show that a class of matrix optimization prob...
Zhaosong Lu, Yong Zhang
COR
2006
122views more  COR 2006»
15 years 4 months ago
Multiple task assignments for cooperating uninhabited aerial vehicles using genetic algorithms
A problem of assigning cooperating uninhabited aerial vehicles to perform multiple tasks on multiple targets is posed as a new combinatorial optimization problem. A genetic algori...
Tal Shima, Steven J. Rasmussen, Andrew G. Sparks, ...