4745 search results - page 83 / 949 » Discretization: An Enabling Technique |
148
click to vote
ASMTA
2009
Springer
15 years 10 months ago
2009
Springer
Discrete stochastic models (DSM) are widely used in various application fields today. Proxel-based simulation can outperform discrete event-based approaches in the analysis of smal...
149
click to vote
DATE
2008
IEEE
16 years 18 days ago
2008
IEEE
Future system design methodologies must accept the fact that the underlying hardware will be imperfect, and enable design of robust systems that are resilient to hardware imperfec...
159
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
We present a novel dual decomposition approach to MAP inference with highly connected discrete graphical models. Decompositions into cyclic k-fan structured subproblems are shown t...
175
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
160
click to vote
ISCAS
1993
IEEE
15 years 10 months ago
1993
IEEE
An image compression system based on transform coding and zonal sampling is presented. It is based on the wellknown Chen-Smith coder, but with an improved technique for transform ...