2446 search results - page 91 / 490 » First Smart Spaces |
145
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
139
Voted
ECML
2006
Springer
15 years 7 months ago
2006
Springer
In many complex machine learning applications there is a need to learn multiple interdependent output variables, where knowledge of these interdependencies can be exploited to impr...
143
Voted
FSE
2006
Springer
15 years 7 months ago
2006
Springer
The main application of stream ciphers is online-encryption of arbitrarily long data, for example when transmitting speech data between a Bluetooth headset and a mobile GSM phone o...
128
Voted
FOSAD
2000
Springer
15 years 7 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
119
Voted
LREC
2008
15 years 5 months ago
2008
Semantic similarity is a key issue in many computational tasks. This paper goes into the development and evaluation of two common ways of automatically calculating the semantic si...