4693 search results - page 198 / 939 » Verifying Hybrid Systems |
138
click to vote
CORR
2000
Springer
15 years 5 months ago
2000
Springer
In real-world environments it usually is difficult to specify target operating conditions precisely, for example, target misclassification costs. This uncertainty makes building ro...
164
click to vote
NETGAMES
2006
ACM
15 years 11 months ago
2006
ACM
This paper proposes a hybrid architecture for distributed virtual environments, utilizing servers alongside peer-to-peer components. Current research into peer-based systems seeks...
136
click to vote
CISS
2007
IEEE
15 years 11 months 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...
147
click to vote
ATAL
2006
Springer
15 years 9 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...
166
click to vote
CSDA
2007
15 years 5 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 ...