9842 search results - page 526 / 1969 » Compositional timing analysis |
186
click to vote
ICAD
2004
15 years 8 months ago
2004
For the ICAD conference 2004 in Sydney a sonification of ECG and other data was carried out to merge the boundaries between artistic sonification and scientific auditory display. ...
169
Voted
ACL
2003
15 years 8 months ago
2003
Multimodal dialogue systems allow users to input information in multiple modalities. These systems can handle simultaneous or sequential composite multimodal input. Different coor...
196
Voted
CADE
2010
Springer
15 years 8 months ago
2010
Springer
We propose an extension of the syntactic restriction for complex role inclusion axioms in the description logic SROIQ. Like the original restriction in SROIQ, our restrictions can ...
201
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
211
Voted
JLP
2006
15 years 7 months ago
2006
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpreta...