Sciweavers

2563 search results - page 500 / 513
» Phenomenology, Representations and Complexity
Sort
View
FUIN
2008
99views more  FUIN 2008»
14 years 11 months ago
Universality Analysis for One-Clock Timed Automata
This paper is concerned with the universality problem for timed automata: given a timed automaton A, does A accept all timed words? Alur and Dill have shown that the universality p...
Parosh Aziz Abdulla, Johann Deneux, Joël Ouak...
BMCBI
2006
118views more  BMCBI 2006»
14 years 11 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
BMCBI
2006
172views more  BMCBI 2006»
14 years 11 months ago
BioWarehouse: a bioinformatics database warehouse toolkit
Background: This article addresses the problem of interoperation of heterogeneous bioinformatics databases. Results: We introduce BioWarehouse, an open source toolkit for construc...
Thomas J. Lee, Yannick Pouliot, Valerie Wagner, Pr...
GPEM
2008
128views more  GPEM 2008»
14 years 11 months ago
Coevolutionary bid-based genetic programming for problem decomposition in classification
In this work a cooperative, bid-based, model for problem decomposition is proposed with application to discrete action domains such as classification. This represents a significan...
Peter Lichodzijewski, Malcolm I. Heywood
BMCBI
2006
152views more  BMCBI 2006»
14 years 11 months ago
A two-stage approach for improved prediction of residue contact maps
Background: Protein topology representations such as residue contact maps are an important intermediate step towards ab initio prediction of protein structure. Although improvemen...
Alessandro Vullo, Ian Walsh, Gianluca Pollastri