Sciweavers

385 search results - page 30 / 77
» On higher-order perceptron algorithms
Sort
View
AI
2009
Springer
14 years 3 months ago
Training Global Linear Models for Chinese Word Segmentation
This paper examines how one can obtain state of the art Chinese word segmentation using global linear models. We provide experimental comparisons that give a detailed road-map for ...
Dong Song, Anoop Sarkar
NIPS
2001
13 years 9 months ago
Kernel Machines and Boolean Functions
We give results about the learnability and required complexity of logical formulae to solve classification problems. These results are obtained by linking propositional logic with...
Adam Kowalczyk, Alex J. Smola, Robert C. Williamso...
CORR
2012
Springer
212views Education» more  CORR 2012»
12 years 4 months ago
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdot...
CORR
2007
Springer
105views Education» more  CORR 2007»
13 years 8 months ago
Empirical Evaluation of Four Tensor Decomposition Algorithms
Higher-order tensor decompositions are analogous to the familiar Singular Value Decomposition (SVD), but they transcend the limitations of matrices (second-order tensors). SVD is ...
Peter D. Turney
CDC
2008
IEEE
121views Control Systems» more  CDC 2008»
14 years 3 months ago
Stability of a second order consensus algorithm with time delay
—In this paper, we investigate a second order consensus problem in a directed graph with non-uniform time delay. This problem arises naturally in real multi-agent systems such as...
Wen Yang, Andrea L. Bertozzi, Xiaofan Wang