3591 search results - page 94 / 719 » Typing linear constraints |
130
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
A new class of parallel normalized preconditioned conjugate gradient type methods in conjunction with normalized approximate inverses algorithms, based on normalized approximate f...
264
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
134
Voted
EUSFLAT
2003
15 years 6 months ago
2003
In this paper, a modified fuzzy system modelling algorithm that incorporates Type 2 fuzzy sets, which is based on intervalvalued membership degrees rather than singleton membershi...
123
Voted
IJBC
2008
15 years 5 months ago
2008
: A unidirectional coupling scheme is investigated in double scroll type chaotic oscillators that reveal interesting multiscroll dynamics. Instead of using self-oscillatory systems...
131
Voted
APAL
2008
15 years 5 months ago
2008
Abstract. We provide an alternative proof of the sequentialisation theorem for proof nets of multiplicative linear logic. Namely, we show how a proof net can be transformed into a ...