Sciweavers

4903 search results - page 681 / 981
» The Set Covering Machine
Sort
View
AAAI
2007
15 years 8 months ago
Recognizing Textual Entailment Using a Subsequence Kernel Method
We present a novel approach to recognizing Textual nt. Structural features are constructed from abstract tree descriptions, which are automatically extracted from syntactic depend...
Rui Wang 0005, Günter Neumann
AAAI
2008
15 years 8 months ago
Strategyproof Classification under Constant Hypotheses: A Tale of Two Functions
We consider the following setting: a decision maker must make a decision based on reported data points with binary labels. Subsets of data points are controlled by different selfi...
Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosens...
ASM
2008
ASM
15 years 8 months ago
Model Checking Event-B by Encoding into Alloy
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
Paulo J. Matos, João Marques-Silva
CIARP
2008
Springer
15 years 8 months ago
Learning and Forgetting with Local Information of New Objects
The performance of supervised learners depends on the presence of a relatively large labeled sample. This paper proposes an automatic ongoing learning system, which is able to inco...
Fernando Vázquez, José Salvador S&aa...
CIBB
2008
15 years 8 months ago
Analysis of Kernel Based Protein Classification Strategies Using Pairwise Sequence Alignment Measures
Abstract. We evaluated methods of protein classification that use kernels built from BLAST output parameters. Protein sequences were represented as vectors of parameters (e.g. simi...
Dino Franklin, Somdutta Dhir, Sándor Pongor