Sciweavers

1400 search results - page 220 / 280
» Post-Analysis of Learned Rules
Sort
View
CAV
2005
Springer
99views Hardware» more  CAV 2005»
15 years 11 months ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...
ICCSA
2005
Springer
15 years 11 months ago
Semantic Annotation of Biomedical Literature Using Google
With the increasing amount of biomedical literature, there is a need for automatic extraction of information to support biomedical researchers. Due to incomplete biomedical informa...
Rune Sætre, Amund Tveit, Tonje Strommen Stei...
IJCNLP
2005
Springer
15 years 11 months ago
Chunking Using Conditional Random Fields in Korean Texts
We present a method of chunking in Korean texts using conditional random fields (CRFs), a recently introduced probabilistic model for labeling and segmenting sequence of data. In a...
Yong-Hun Lee, Mi-Young Kim, Jong-Hyeok Lee
KES
2004
Springer
15 years 11 months ago
Fuzzy Kolmogorov's Network
A spline-based modification of the previously developed Neuro-Fuzzy Kolmogorov's Network (NFKN) is proposed. In order to improve the approximation accuracy, cubic B-splines ar...
Vitaliy Kolodyazhniy, Yevgeniy Bodyanskiy
ICDM
2003
IEEE
153views Data Mining» more  ICDM 2003»
15 years 11 months ago
Dimensionality Reduction Using Kernel Pooled Local Discriminant Information
We study the use of kernel subspace methods for learning low-dimensional representations for classification. We propose a kernel pooled local discriminant subspace method and com...
Peng Zhang, Jing Peng, Carlotta Domeniconi