Sciweavers

2344 search results - page 286 / 469
» Generating from a Deep Structure
Sort
View
JCP
2006
102views more  JCP 2006»
14 years 11 months ago
Efficient Formulations for 1-SVM and their Application to Recommendation Tasks
The present paper proposes new approaches for recommendation tasks based on one-class support vector machines (1-SVMs) with graph kernels generated from a Laplacian matrix. We intr...
Yasutoshi Yajima, Tien-Fang Kuo
ENTCS
2007
121views more  ENTCS 2007»
14 years 11 months ago
Rewrite-Based Decision Procedures
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
Maria Paola Bonacina, Mnacho Echenim
AML
2005
76views more  AML 2005»
14 years 11 months ago
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
IMTL logic was introduced in [12] as a generalization of the infinitely-valued logic of Lukasiewicz, and in [11] it was proved to be the logic of left-continuous t-norms with an i...
Carles Noguera, Francesc Esteva, Joan Gispert
AC
2004
Springer
14 years 11 months ago
Shotgun Sequence Assembly
Shotgun sequencing is the most widely used technique for determining the DNA sequence of organisms. It involves breaking up the DNA into many small pieces that can be read by auto...
Mihai Pop
NAR
2000
112views more  NAR 2000»
14 years 11 months ago
ExInt: an Exon/Intron database
The Exon/Intron (ExInt) database incorporates information on the exon/intron structure of eukaryotic genes. Features in the database include: intron nucleotide sequence, amino aci...
Meena K. Sakharkar, Manyuan Long, Tin Wee Tan, San...