7529 search results - page 191 / 1506 » The Modula-3 Type System |
151
click to vote
LOGCOM
2010
15 years 4 months ago
2010
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...
180
click to vote
ACIIDS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this study, we propose a method of stability analysis for a GA-Based reference ANNC capable of handling these types of problems for a nonlinear system. The initial values of the...
178
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Input multiplicative and output inverse multiplicative uncertainty characterisations are common in the robust control literature. We present specialised distance measures...
173
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We consider the task of acoustic system identification, where the input signal undergoes a memoryless nonlinear transformation before convolving with an unknown linear system. We...
147
click to vote
NOMS
2010
IEEE
15 years 4 months ago
2010
IEEE
Fairness is an important management issue for peer-to-peer file sharing systems. In this paper, we study the credit system of the P2P file sharing network eMule (http://www.emule-p...