Sciweavers

3273 search results - page 9 / 655
» types 2007
Sort
View
AMC
2007
65views more  AMC 2007»
14 years 11 months ago
Convergence analysis of the secant type methods
Jinhai Chen, Zuhe Shen
ERLANG
2007
ACM
15 years 3 months ago
A language for specifying type contracts in Erlang and its interaction with success typings
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
Miguel Jimenez, Tobias Lindahl, Konstantinos F. Sa...
FUZZIEEE
2007
IEEE
15 years 6 months ago
New Type-2 Rule Ranking Indices for Designing Parsimonious Interval Type-2 Fuzzy Logic Systems
— In this paper, we propose two novel indices for type-2 fuzzy rule ranking to identify the most influential fuzzy rules in designing type-2 fuzzy logic systems, and name them a...
Shang-Ming Zhou, Robert John, Francisco Chiclana, ...
IJON
2007
77views more  IJON 2007»
14 years 11 months ago
Reliability and stochastic synchronization in type I vs. type II neural oscillators
Neural reliability and stochastic synchronization are remarkable features of real neurons with important consequences for neural computation. Both phenomena are general properties...
Roberto Fdez. Galán, Bard Ermentrout, Natha...
FASE
2007
Springer
15 years 5 months ago
Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
Markus Bach, Florian Forster, Friedrich Steimann