Sciweavers

3475 search results - page 295 / 695
» A DEA approach for model combination
Sort
View
APN
2008
Springer
15 years 8 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud
IASSE
2004
15 years 8 months ago
A Model for Multi-relational Data Mining on Demand Forecasting
Accurate demand forecasting remains difficult and challenging in today's competitive and dynamic business environment, but even a little improvement in demand prediction may ...
Qin Ding, Bhavin Parikh
GECCO
2008
Springer
180views Optimization» more  GECCO 2008»
15 years 7 months ago
An agent-based collaborative evolutionary model for multimodal optimization
A novel approach to multimodal optimization called Roaming Agent-Based Collaborative Evolutionary Model (RACE) combining several evolutionary techniques with agent-based modeling ...
Rodica Ioana Lung, Camelia Chira, Dumitru Dumitres...
CGF
2005
232views more  CGF 2005»
15 years 6 months ago
Algorithms for Interactive Editing of Level Set Models
Level set models combine a low-level volumetric representation, the mathematics of deformable implicit surfaces, and powerful, robust numerical techniques to produce a novel appro...
Ken Museth, David E. Breen, Ross T. Whitaker, Sean...
BIBM
2010
IEEE
222views Bioinformatics» more  BIBM 2010»
15 years 4 months ago
CEO a cloud epistasis computing model in GWAS
The 1000 Genome project has made available a large number of single nucleotide polymorphisms (SNPs) for genome-wide association studies (GWAS). However, the large number of SNPs ha...
Zhengkui Wang, Yue Wang, Kian-Lee Tan, Limsoon Won...