5924 search results - page 990 / 1185 » Normal Process Representatives |
115
click to vote
ASE
2008
15 years 2 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
128
click to vote
BIODATAMINING
2008
15 years 2 months ago
2008
Evolutionary search algorithms have become an essential asset in the algorithmic toolbox for solving high-dimensional optimization problems in across a broad range of bioinformati...
128
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Contact maps have been extensively used as a simplified representation of protein structures. They capture most important features of a protein's fold, being pref...
108
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
101
Voted
COGSCI
2010
15 years 2 months ago
2010
We develop and evaluate a model of behavior on the Give-N task, a commonly used measure of young children's number knowledge. Our model uses the knower-level theory of how ch...