2850 search results - page 44 / 570 » On Timed Models and Full Abstraction |
149
click to vote
DAGM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we present di erent approaches to structuring covariance matrices within statistical classi ers. This is motivated by the fact that the use of full covarian...
135
click to vote
FTCS
1998
15 years 7 months ago
1998
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
175
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract— Space-time codes leverage the availability of multiple antennas to enhance the reliability of communication over wireless channels. While space-time codes have initiall...
242
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Many computer vision problems can be formulated in
a Bayesian framework with Markov Random Field (MRF)
or Conditional Random Field (CRF) priors. Usually, the
model assumes that ...
157
click to vote
IFM
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...