6045 search results - page 364 / 1209 » Computable Linearizations of Well-partial-orderings |
213
click to vote
ASC
2004
15 years 7 months ago
2004
A novel approach for solving fuzzy model-based stability problems via evolutionary computation (EC) is presented. Gain scheduling problem of a multi-model fuzzy system that satisf...
155
Voted
KES
1998
Springer
15 years 11 months ago
1998
Springer
Attractor systems are useful in neurodynamics,mainly in the modelingof associative memory. Thispaper presentsa complexity theory for continuous phase space dynamical systems with ...
195
click to vote
CADE
1990
Springer
15 years 11 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
200
click to vote
CPM
2007
Springer
15 years 11 months ago
2007
Springer
This paper considers enumeration of substring equivalence classes introduced by Blumer et al. [1]. They used the equivalence classes to define an index structure called compact dir...
171
Voted
MSV
2007
15 years 9 months ago
2007
Abstract We numerically model the effects of repetitive human head motions in traumatic scenarios that are associated with severe brain injuries. Our results are based on the line...