Sciweavers

1004 search results - page 122 / 201
» A comparison of generalized linear discriminant analysis alg...
Sort
View
ACL
2003
13 years 10 months ago
Fast Methods for Kernel-Based Text Analysis
Kernel-based learning (e.g., Support Vector Machines) has been successfully applied to many hard problems in Natural Language Processing (NLP). In NLP, although feature combinatio...
Taku Kudo, Yuji Matsumoto
DAC
2003
ACM
14 years 9 months ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
ICA
2004
Springer
14 years 2 months ago
3D Spatial Analysis of fMRI Data on a Word Perception Task
We discuss a 3D spatial analysis of fMRI data taken during a combined word perception and motor task. The event - based experiment was part of a study to investigate the network of...
Ingo R. Keck, Fabian J. Theis, Peter Gruber, Elmar...
CONCUR
1997
Springer
14 years 28 days ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
ICS
1993
Tsinghua U.
14 years 26 days ago
Static and Dynamic Evaluation of Data Dependence Analysis
—Data dependence analysis techniques are the main component of today’s strategies for automatic detection of parallelism. Parallelism detection strategies are being incorporate...
Paul Petersen, David A. Padua