9405 search results - page 1622 / 1881 » Computing a Model of Set Theory |
140
Voted
BMCBI
2006
15 years 5 months ago
2006
Motivation Protein remote homology prediction and fold recognition are central problems in computational biology. Supervised learning algorithms based on support vector machines a...
166
click to vote
JUCS
2008
15 years 5 months ago
2008
: Linguistics and stylistics have been investigated for author identification for quite a while, but recently, we have testified a impressive growth in the volume with which lawyer...
171
Voted
MVA
2006
15 years 5 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
155
click to vote
TCAD
2008
15 years 5 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
135
click to vote
TFS
2008
15 years 5 months ago
2008
Fuzzy interpolation does not only help to reduce the complexity of fuzzy models, but also makes inference in sparse rule-based systems possible. It has been successfully applied to...