Sciweavers

3987 search results - page 441 / 798
» Ontology-Based Model Transformation
Sort
View
BMCBI
2010
120views more  BMCBI 2010»
15 years 7 months ago
Modeling expression quantitative trait loci in data combining ethnic populations
Background: Combining data from different ethnic populations in a study can increase efficacy of methods designed to identify expression quantitative trait loci (eQTL) compared to...
Ching-Lin Hsiao, Ie-Bin Lian, Ai-Ru Hsieh, Cathy S...
CGA
1999
15 years 7 months ago
Dynamics Modeling and Culling
emsintovirtualenvironments,whileabstracting the modeling process as much as possible. To achieve efficiency,weconcentrateoncullingdynamicalsystems: if the system is not in view, we...
Stephen Chenney, Jeffrey Ichnowski, David A. Forsy...
TACAS
2010
Springer
170views Algorithms» more  TACAS 2010»
15 years 5 months ago
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbe...
TEC
2010
191views more  TEC 2010»
15 years 2 months ago
Particle Swarm Optimization Aided Orthogonal Forward Regression for Unified Data Modeling
We propose a unified data modeling approach that is equally applicable to supervised regression and classification applications, as well as to unsupervised probability density func...
Sheng Chen, Xia Hong, Chris J. Harris

Book
363views
17 years 5 months ago
Computational Linguistics: Models, Resources, Applications
"Can computers meaningfully process human language? If this is difficult, why? If this is possible, how? This book introduces the reader to the fascinating science of computat...
Igor A. Bolshakov and Alexander Gelbukh