Sciweavers

CADE
1990
Springer
14 years 1 months ago
IMPS: An Interactive Mathematical Proof System
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
William M. Farmer, Joshua D. Guttman, F. Javier Th...
PAKDD
2005
ACM
180views Data Mining» more  PAKDD 2005»
14 years 2 months ago
Conditional Random Fields for Transmembrane Helix Prediction
Abstract. It is estimated that 20% of genes in the human genome encode for integral membrane proteins (IMPs) and some estimates are much higher. IMPs control a broad range of event...
Lior Lukov, Sanjay Chawla, W. Bret Church