752 search results - page 118 / 151 » A Markov Chain Model Checker |
127
click to vote
SAT
2010
Springer
15 years 11 days ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
134
click to vote
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
To have a robust and informative image content representation for image categorization, we often need to extract as many as possible visual features at various locations, scales a...
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
—The mandatory access mode in IEEE 802.11 MAC is Distributed Coordination Function (DCF), which provides both basic access and RTS/CTS(request-to-send/clear-to-send) access. Prev...
116
click to vote
CMPB
2010
14 years 9 months ago
2010
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...
109
click to vote
SSPR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Statistical analysis of spatially uniform signal contexts allows Discrete Universal Denoiser (DUDE) to effectively correct signal errors caused by a discrete symmetric me...