Sciweavers

1900 search results - page 265 / 380
» The Four Phase Method for Modelling Complex Systems
Sort
View
ANOR
2004
208views more  ANOR 2004»
14 years 9 months ago
Airline Crew Rostering: Problem Types, Modeling, and Optimization
Airline crew rostering is an important part of airline operations and an interesting problem for the application of operations research. The objective is to assign anonymous crew p...
Niklas Kohl, Stefan E. Karisch
BMCBI
2006
118views more  BMCBI 2006»
14 years 10 months ago
A graphical model approach to automated classification of protein subcellular location patterns in multi-cell images
Background: Knowledge of the subcellular location of a protein is critical to understanding how that protein works in a cell. This location is frequently determined by the interpr...
Shann-Ching Chen, Robert F. Murphy
ICRA
2010
IEEE
104views Robotics» more  ICRA 2010»
14 years 8 months ago
Using model knowledge for learning inverse dynamics
— In recent years, learning models from data has become an increasingly interesting tool for robotics, as it allows straightforward and accurate model approximation. However, in ...
Duy Nguyen-Tuong, Jan Peters
POPL
2010
ACM
15 years 7 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
BMCBI
2007
169views more  BMCBI 2007»
14 years 10 months ago
Transcriptional regulatory network refinement and quantification through kinetic modeling, gene expression microarray data and i
Background: Gene expression microarray and other multiplex data hold promise for addressing the challenges of cellular complexity, refined diagnoses and the discovery of well-targ...
Abdallah Sayyed-Ahmad, Kagan Tuncay, Peter J. Orto...