Sciweavers

1847 search results - page 79 / 370
» Hybrid Functional Interpretations
Sort
View
CPAIOR
2006
Springer
15 years 3 months ago
A Hybrid Column Generation and Constraint Programming Optimizer for the Tail Assignment Problem
Tail Assignment is the problem of assigning flight legs to aircraft while satisfying all operational constraints, and optimizing some objective function. In this article, we presen...
Sami Gabteni, Mattias Grönkvist
ICDE
2008
IEEE
301views Database» more  ICDE 2008»
16 years 1 months ago
A Hybrid Prediction Model for Moving Objects
Existing prediction methods in moving objects databases cannot forecast locations accurately if the query time is far away from the current time. Even for near future prediction, m...
Hoyoung Jeung, Qing Liu, Heng Tao Shen, Xiaofang Z...
TEC
2010
132views more  TEC 2010»
14 years 6 months ago
A Hybrid Evolutionary Approach to the Nurse Rostering Problem
Nurse rostering is a difficult search problem with many constraints. In the literature, a number of approaches have been investigated including penalty function methods to tackle t...
Ruibin Bai, Edmund K. Burke, Graham Kendall, Jingp...
ACIIDS
2012
IEEE
307views Database» more  ACIIDS 2012»
13 years 7 months ago
A Hybrid Evolutionary Imperialist Competitive Algorithm (HEICA)
This paper proposes a new approach by combining the Evolutionary Algorithm and Imperialist Competitive Algorithm. This approach tries to capture several people involved in communit...
Fatemeh Ramezani, Shahriar Lotfi, M. A. Soltani-Sa...
TPHOL
2000
IEEE
15 years 3 months ago
Equational Reasoning via Partial Reflection
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
Herman Geuvers, Freek Wiedijk, Jan Zwanenburg