5639 search results - page 430 / 1128 » Timed Abstract Non-interference |
132
Voted
ICANN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we elaborate on a kernel extension to tensorbased data analysis. The proposed ideas find applications in supervised learning problems where input data have ...
157
click to vote
ICANN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Local air quality forecasting can be made on the basis of meteorological and air pollution time series. Such data contain redundant information. Partial mutual informatio...
107
click to vote
ALGORITHMICA
2010
15 years 4 months ago
2010
Abstract. This paper presents algorithms whose input is an undirected graph, and whose output is a tree decomposition of width that approximates the optimal, the treewidth of that ...
124
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Nominal Logic is an extension of first-order logic with equality, name-binding, name-swapping, and freshness of names. Contrarily to higher-order logic, bound variables a...
117
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Let G be a directed planar graph of complexity n, each arc having a nonnegative length. Let s and t be two distinct faces of G; let s1, . . . , sk be vertices incident wi...