1902 search results - page 246 / 381 » Differential Dynamic Logics |
150
click to vote
OZCHI
2006
ACM
16 years 15 days ago
2006
ACM
There are various situations where a distinction needs to be made between group members and outsiders. For example, to protect students in chat groups from unpleasant incidents ca...
167
click to vote
ASYNC
2005
IEEE
16 years 5 days ago
2005
IEEE
Unprotected cryptographic hardware is vulnerable to a side-channel attack known as Differential Power Analysis (DPA). This attack exploits data-dependent power consumption of a co...
177
click to vote
HYBRID
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...
154
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
The paper addresses the question whether it is possible for a machine to learn to distinguish and recognise famous musicians (concert pianists), based on their style of playing. We...
193
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Magpie is a suite of tools supporting a ‘zero-cost’ approach to semantic web browsing: it avoids the need for manual annotation by automatically associating an ontolo...