6020 search results - page 753 / 1204 » A New Approach to Model Counting |
156
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
This paper proposes a new stereo model which encodes the simple assumption that the scene is composed of a few, smooth surfaces. A key feature of our model is the surfacebased rep...
190
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
266
click to vote
BDIM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Knowing the dependencies among computing assets and services provides insights into the computing and business landscape, therefore, facilitating low-risk timely changes in supp...
176
click to vote
ICAC
2006
IEEE
16 years 26 days ago
2006
IEEE
Large amount of monitoring data can be collected from distributed systems as the observables to analyze system behaviors. However, without reasonable models to characterize systems...
160
click to vote
RAID
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. It is commonly accepted that intrusion detection systems (IDS) are required to compensate for the insufficient security mechanisms that are available on computer systems...