7988 search results - page 373 / 1598 » A Useful Undecidable Theory |
160
click to vote
ISNN
2005
Springer
16 years 8 days ago
2005
Springer
This paper considers the robust stability of neural networks with multiple delays. Based on Lyapunov stability theory and linear matrix inequality technique, some new delay indepe...
127
click to vote
ISSAC
2005
Springer
16 years 8 days ago
2005
Springer
Picard-Vessiot extensions for ordinary differential and difference equations are well known and are at the core of the associated Galois theories. In this paper, we construct fu...
136
click to vote
SEMWEB
2005
Springer
16 years 7 days ago
2005
Springer
Although the model-theoretic semantics of the languages used in the Semantic Web are crisps, the need arise to extend them to represent fuzzy data, in the same way fuzzy logic exte...
150
click to vote
ICCS
2004
Springer
16 years 4 days ago
2004
Springer
While modern evolutionary theory has emphasized the role of neutral evolution, protein biochemistry and biophysics has interpreted the properties of proteins as largely resulting f...
194
click to vote
SFM
2004
Springer
16 years 3 days ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...