Sciweavers

876 search results - page 95 / 176
» Propagating Class and Method Combination
Sort
View
AIML
1998
14 years 11 months ago
A Resolution-Based Decision Procedure for Extensions of K4
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
Harald Ganzinger, Ullrich Hustadt, Christoph Meyer...
CASCON
1998
133views Education» more  CASCON 1998»
14 years 11 months ago
JAZZ: an efficient compressed format for Java archive files
The Jazz file format is intended to be a replacement for the JAR file format when used for storage and distribution of Java programs. A Jazz file is compressed to a degree that fa...
Quetzalcoatl Bradley, R. Nigel Horspool, Jan Vitek
BMCBI
2006
180views more  BMCBI 2006»
14 years 10 months ago
Building multiclass classifiers for remote homology detection and fold recognition
Motivation Protein remote homology prediction and fold recognition are central problems in computational biology. Supervised learning algorithms based on support vector machines a...
Huzefa Rangwala, George Karypis
PAMI
2010
215views more  PAMI 2010»
14 years 8 months ago
Fusion Moves for Markov Random Field Optimization
—The efficient application of graph cuts to Markov Random Fields (MRFs) with multiple discrete or continuous labels remains an open question. In this paper, we demonstrate one p...
Victor S. Lempitsky, Carsten Rother, Stefan Roth, ...
ICMCS
2005
IEEE
123views Multimedia» more  ICMCS 2005»
15 years 3 months ago
Hidden Markov Model Based Weighted Likelihood Discriminant for Minimum Error Shape Classification
The goal of this communication is to present a weighted likelihood discriminant for minimum error shape classification. Different from traditional Maximum Likelihood (ML) methods...
Ninad Thakoor, Sungyong Jung, Jean Gao