Sciweavers

2145 search results - page 304 / 429
» Lax Logical Relations
Sort
View
FSKD
2007
Springer
161views Fuzzy Logic» more  FSKD 2007»
14 years 2 months ago
A KFCM-Based Fuzzy Classifier
A proposed KFCM-based fuzzy classifier was introduced. As for the process of constructing such classifier, firstly, the original sample space is mapped into a high dimensional fea...
Aimin Yang, Lingmin Jiang, Yongmei Zhou
IFSA
2007
Springer
102views Fuzzy Logic» more  IFSA 2007»
14 years 2 months ago
Strict Generalization in Multilayered Perceptron Networks
Typically the response of a multilayered perceptron (MLP) network on points which are far away from the boundary of its training data is not very reliable. When test data points ar...
Debrup Chakraborty, Nikhil R. Pal
OTM
2007
Springer
14 years 2 months ago
An Ontology-Driven Architecture for Re-using Semantic Web Services
As more semantic web services become on the Internet, it is feasible that users collaborate among them to save efforts in complex web solutions by sharing and reusing existing sema...
Carlos Granell, Dolores María Llidó,...
SARA
2007
Springer
14 years 2 months ago
Extensional Reasoning
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
Timothy L. Hinrichs
TLCA
2007
Springer
14 years 2 months ago
A Substructural Type System for Delimited Continuations
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
Oleg Kiselyov, Chung-chieh Shan