Sciweavers

1008 search results - page 64 / 202
» Canonicity!
Sort
View
ACTA
2006
74views more  ACTA 2006»
15 years 3 months ago
Linearly bounded infinite graphs
Linearly bounded Turing machines have been mainly studied as acceptors for context-sensitive languages. We define a natural family of canonical infinite automata representing their...
Arnaud Carayol, Antoine Meyer
130
Voted
JIIS
2006
73views more  JIIS 2006»
15 years 3 months ago
Using KCCA for Japanese-English cross-language information retrieval and document classification
Kernel Canonical Correlation Analysis (KCCA) is a method of correlating linear relationship between two variables in a kernel defined feature space. A machine learning algorithm b...
Yaoyong Li, John Shawe-Taylor
IJON
1998
87views more  IJON 1998»
15 years 3 months ago
Learned parametric mixture based ICA algorithm
The learned parametric mixture method is presented for a canonical cost function based ICA model on linear mixture, with several new findings. First, its adaptive algorithm is fu...
Lei Xu, Chi Chiu Cheung, Shun-ichi Amari
128
Voted
TELSYS
2002
104views more  TELSYS 2002»
15 years 3 months ago
The Analysis of Queues with Time-Varying Rates for Telecommunication Models
Abstract. Time dependent behavior has an impact on the performance of telecommunication models. Examples include: staffing a call center, pricing the inventory of private line serv...
William A. Massey
JAPLL
2010
131views more  JAPLL 2010»
15 years 1 months ago
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule...
Willem Conradie, Valentin Goranko, Dimiter Vakarel...