3495 search results - page 499 / 699 » On the random satisfiable process |
195
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We consider a finite-state memoryless channel with i.i.d. channel state and the input Markov process supported on a mixing finite-type constraint. We discuss the asymptotic behavio...
236
click to vote
TSE
2011
15 years 1 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
169
click to vote
JCIT
2010
15 years 1 months ago
2010
Because of the complexity of the human structure, and the irregularity of the human tissues, and the discrepancy of human individuality, segmenting and rendering 3D medical data f...
163
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
As VLSI technology scales toward 65nm and beyond, both timing and power performance of integrated circuits are increasingly affected by process variations. In practice, people oft...
133
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Most of the online multimedia collections, such as picture galleries or video archives, are categorized in a fully manual process, which is very expensive and may soon be infeasib...