Sciweavers

368 search results - page 9 / 74
» Calculating an exceptional machine
Sort
View
IJCSA
2007
84views more  IJCSA 2007»
13 years 7 months ago
Real Time Model Checking Using Timed Concurrent State Machines
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
Wiktor B. Daszczuk
NAACL
2007
13 years 9 months ago
Translation Model Pruning via Usage Statistics for Statistical Machine Translation
We describe a new pruning approach to remove phrase pairs from translation models of statistical machine translation systems. The approach applies the original translation system ...
Matthias Eck, Stephan Vogel, Alex Waibel
TNN
2008
142views more  TNN 2008»
13 years 7 months ago
Multiclass Posterior Probability Support Vector Machines
Abstract--Tao et al. have recently proposed the posterior probability support vector machine (PPSVM) which uses soft labels derived from estimated posterior probabilities to be mor...
Mehmet Gönen, Ayse Gönül Tanugur, E...
BMCBI
2006
201views more  BMCBI 2006»
13 years 7 months ago
Gene selection algorithms for microarray data based on least squares support vector machine
Background: In discriminant analysis of microarray data, usually a small number of samples are expressed by a large number of genes. It is not only difficult but also unnecessary ...
E. Ke Tang, Ponnuthurai N. Suganthan, Xin Yao
FSKD
2005
Springer
91views Fuzzy Logic» more  FSKD 2005»
14 years 29 days ago
Visualization Process for Design and Manufacturing of End Mills
The development of CAM system for design and manufacturing of end mills becomes a key approach to save the time and reduce cost for end mills manufacturing. This paper presents the...
Sung-Lim Ko, Trung-Thanh Pham, Yong-Hyun Kim