1280 search results - page 179 / 256 » Soft Typing with Conditional Types |
CIS
2005
Springer
14 years 2 months ago
2005
Springer
A new approach for protection of transmission line including TCSC is presented in this paper. The proposed method includes application of Fuzzy Neural Network for distance relaying...
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...
FIMH
2005
Springer
14 years 2 months ago
2005
Springer
Numerical simulations of re-entrant waves in detailed ionic models reveal a phenomenon that is impossible in traditional simplified mathematical models of FitzHugh-Nagumo type: di...
IPMI
2005
Springer
14 years 2 months ago
2005
Springer
Many types of transformations are used to model deformations in medical image registration. While some focus on modeling local changes, some on continuity and invertibility, there ...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...