1517 search results - page 115 / 304 » New Approach To A Class Of Matrices |
139
click to vote
SIMUTOOLS
2008
15 years 6 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
147
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
125
Voted
BMCBI
2008
15 years 4 months ago
2008
Background: The prediction of a consensus structure for a set of related RNAs is an important first step for subsequent analyses. RNAalifold, which computes the minimum energy str...
141
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: We have previously described an approach to predicting the substrate specificity of serine-threonine protein kinases. The method, named Predikin, identifies key conser...
134
click to vote
JDWM
2007
15 years 4 months ago
2007
Rule induction from examples is a machine learning technique that finds rules of the form condition → class, where condition and class are logic expressions of the form variable...