5639 search results - page 116 / 1128 » Timed Abstract Non-interference |
96
Voted
SCP
1998
15 years 1 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
123
click to vote
MST
2010
15 years 4 days ago
2010
Abstract. We investigate the effect of linear independence in the strategies of congestion games on the convergence time of best improvement sequences and on the pure Price of Anar...
200
click to vote
SOFTCOMP
2010
15 years 2 days ago
2010
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...
123
click to vote
GLOBECOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--We devise an optimization framework for generalized proportional fairness (GPF) under different time scales for amplify-and-forward (AF) relay networks. In GPF scheduling...
157
click to vote
ICMLA
2010
14 years 11 months ago
2010
Abstract--In this paper we propose a probabilistic classification algorithm with a novel Dynamic Time Warping (DTW) kernel to automatically recognize flight calls of different spec...