14190 search results - page 221 / 2838 » Abstractions for hybrid systems |
155
click to vote
ENTCS
2007
15 years 6 months ago
2007
ed Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Xavier Leroy INRIA Rocquencourt We propose a benchmark to compare theorem-proving sys...
156
click to vote
CISS
2007
IEEE
16 years 29 days ago
2007
IEEE
— In block-fading transmission, the discrete-time taps of time-varying channels can be generally modelled as a stationary random vector process with unknown and rank-deficient c...
172
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach to hybrid semantic Web service matching that complements logic based reasoning with approximate matching based on syntactic IR based similarity computations...
194
Voted
CSDA
2007
15 years 6 months ago
2007
The log-likelihood function of threshold vector error correction models is neither differentiable, nor smooth with respect to some parameters. Therefore, it is very difficult to ...
166
click to vote
ICAT
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper proposes a wearable annotation overlay system which can correctly annotate dynamic users of wearable computers. To provide users with the newest annotation information, ...