Sciweavers

2629 search results - page 413 / 526
» complex 2009
Sort
View
EUSFLAT
2009
245views Fuzzy Logic» more  EUSFLAT 2009»
15 years 1 months ago
Universal Approximation of a Class of Interval Type-2 Fuzzy Neural Networks Illustrated with the Case of Non-linear Identificati
Neural Networks (NN), Type-1 Fuzzy Logic Systems (T1FLS) and Interval Type-2 Fuzzy Logic Systems (IT2FLS) are universal approximators, they can approximate any non-linear function....
Juan R. Castro, Oscar Castillo, Patricia Melin, An...
FAST
2009
15 years 1 months ago
Story Book: An Efficient Extensible Provenance Framework
Most application provenance systems are hard coded for a particular type of system or data, while current provenance file systems maintain in-memory provenance graphs and reside i...
Richard P. Spillane, Russell Sears, Chaitanya Yala...
FIW
2009
101views Communications» more  FIW 2009»
15 years 1 months ago
Feature Interaction Detection in the Feature Language Extensions
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...
Lei Sun, Lu Zhoa, Yimeng Li, Wu-Hon F. Leung
114
Voted
FLAIRS
2009
15 years 1 months ago
Assessment of LDAT as a Grammatical Diversity Assessment Tool
1 The purpose of this study is to evaluate the validity of measuring grammatical diversity with a specifically designed Lexical Diversity Assessment Tool (LDAT). A secondary object...
Scott Leigh Healy, Joseph D. Weintraub, Philip M. ...
149
Voted
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 1 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero