752 search results - page 118 / 151 » A Markov Chain Model Checker |
SAT
2010
Springer
13 years 7 months 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...
ICIP
2009
IEEE
13 years 6 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
14 years 2 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...
CMPB
2010
13 years 3 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...
SSPR
2004
Springer
14 years 2 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...