Sciweavers

71 search results - page 11 / 15
» ETL Workflows: From Formal Specification to Optimization
Sort
View
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
13 years 9 months ago
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
ECCV
2010
Springer
13 years 5 months ago
Aligning Spatio-Temporal Signals on a Special Manifold
We investigate the spatio-temporal alignment of videos or features/signals extracted from them. Specifically, we formally define an alignment manifold and formulate the alignment p...
Ruonan Li, Rama Chellappa
GECCO
2007
Springer
258views Optimization» more  GECCO 2007»
14 years 1 months ago
A genetic algorithm for resident physician scheduling problem
This paper formally presents the resident physician scheduling problem, which is one of the most important scheduling problems in hospital. The resident physician scheduling probl...
Chi-Way Wang, Lei-Ming Sun, Ming-Hui Jin, Chung-Ju...
KDD
2008
ACM
142views Data Mining» more  KDD 2008»
14 years 7 months ago
Efficient ticket routing by resolution sequence mining
IT problem management calls for quick identification of resolvers to reported problems. The efficiency of this process highly depends on ticket routing--transferring problem ticke...
Qihong Shao, Yi Chen, Shu Tao, Xifeng Yan, Nikos A...
CORR
2008
Springer
147views Education» more  CORR 2008»
13 years 7 months ago
A Minimum Relative Entropy Principle for Learning and Acting
This paper proposes a method to construct an adaptive agent that is universal with respect to a given class of experts, where each expert is designed specifically for a particular...
Pedro A. Ortega, Daniel A. Braun