1898 search results - page 70 / 380 » Weak Keys for IDEA |
DAC
1996
ACM
14 years 27 days ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
ESOP
2000
Springer
14 years 11 days ago
2000
Springer
Abstract. Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation. They have their theoretical foundation in J...
FLAIRS
2008
13 years 11 months ago
2008
In this paper, we model large support vector machines (SVMs) by smaller networks in order to decrease the computational cost. The key idea is to generate additional training patte...
EUSFLAT
2003
13 years 10 months ago
2003
The paper presents a new kind of fuzzy binary relations for modelling conditional possibility. The key idea is to consider fuzzy preorders as conditional necessity measures, and t...
NETWORKING
2004
13 years 10 months ago
2004
In this paper, we propose and evaluate TCP-DCR. TCP-DCR makes simple modifications to the TCP congestion control algorithm to make it more robust to non-congestion events. The key ...