5882 search results - page 880 / 1177 » networks 2010 |
152
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
We investigate techniques for general black-box mitigation of timing channels. The source of events is wrapped by a timing mitigator that delays output events so that they contain...
180
click to vote
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
15 years 5 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
156
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Multiview video is increasingly getting attention due to emerging applications such as 3DTV and immersive teleconferencing. In this paper, we present a non-stationary Hidden Marko...
174
click to vote
TSP
2010
15 years 1 months ago
2010
In this paper, we present multiple novel applications for local intrinsic dimension estimation. There has been much work done on estimating the global dimension of a data set, typi...
188
click to vote
AINA
2010
IEEE
15 years 12 months ago
2010
IEEE
— Today’s vehicles and on-road infrastructures are equipped with a large number of sophisticated sensory devices. These sensory devices are capable of monitoring and providing ...