Sciweavers

407 search results - page 10 / 82
» On sequential functionals of type 3
Sort
View
EUSFLAT
2003
120views Fuzzy Logic» more  EUSFLAT 2003»
13 years 10 months ago
A Type 2 fuzzy system modelling algorithm
In this paper, a modified fuzzy system modelling algorithm that incorporates Type 2 fuzzy sets, which is based on intervalvalued membership degrees rather than singleton membershi...
Kemal Kilic, Özge Uncu, I. Burhan Türkse...
CEC
2009
IEEE
14 years 1 months ago
A parallel genetic algorithm for protein folding prediction using the 3D-HP Side Chain model
— This work presents a methodology for the application of a parallel genetic algorithm (PGA) to the problem of protein folding prediction, using the 3DHP-Side Chain model. This m...
César Manuel Vargas Benítez, Heitor ...
TLDI
2005
ACM
135views Formal Methods» more  TLDI 2005»
14 years 2 months ago
Types for describing coordinated data structures
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
Michael F. Ringenburg, Dan Grossman
IJBC
2008
82views more  IJBC 2008»
13 years 8 months ago
Multiscroll in Coupled Double scroll Type oscillators
: A unidirectional coupling scheme is investigated in double scroll type chaotic oscillators that reveal interesting multiscroll dynamics. Instead of using self-oscillatory systems...
Syamal Kumar Dana, Brajendra K. Singh, Satyabrata ...
LICS
1994
IEEE
14 years 21 days ago
Efficient Inference of Object Types
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another obj...
Jens Palsberg