Sciweavers

1400 search results - page 220 / 280
» Post-Analysis of Learned Rules
Sort
View
CAV
2005
Springer
99views Hardware» more  CAV 2005»
16 years 7 days 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
16 years 7 days 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
16 years 6 days 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
16 years 2 days 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»
16 years 3 hour 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