5639 search results - page 409 / 1128 » Timed Abstract Non-interference |
115
click to vote
STACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We consider data structures and algorithms for preprocessing a labelled list of length n so that, for any given indices i and j we can answer queries of the form: What is...
144
click to vote
STACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. It is well-known that no classical algorithm can solve exactly (i.e., in bounded time without error) the leader election problem in anonymous networks. This paper propose...
114
click to vote
TSD
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We report work on the mapping between the speech signal and articulatory trajectories from the MOCHA database. Contrasting previous works that used Neural Networks for th...
109
click to vote
UC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a novel formulation of the firing squad synchronization problem. In this formulation we may use more than one general state and the general state to be used i...
130
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The study reported in this paper explores the effects of providing web users with link suggestions that are relevant to their tasks. Results indicate that link suggestion...