1898 search results - page 70 / 380 » Weak Keys for IDEA |
112
Voted
DAC
1996
ACM
15 years 7 months 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 ...
122
Voted
ESOP
2000
Springer
15 years 7 months 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...
123
Voted
FLAIRS
2008
15 years 6 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...
87
Voted
EUSFLAT
2003
15 years 5 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...
104
Voted
NETWORKING
2004
15 years 5 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 ...