6020 search results - page 353 / 1204 » A New Approach to Model Counting |
170
click to vote
ICCV
1999
IEEE
16 years 8 months ago
1999
IEEE
In this contribution we focus on the calibration of very long image sequences from a hand-held camera that samples the viewing sphere of a scene. View sphere sampling is important...
195
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
161
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Many groups are interested in the insider threat problem, but the model generally used by all of these groups is implicitly binary—one is either within a perimeter or not. There...
146
click to vote
BMVC
2001
15 years 9 months ago
2001
Visual interpretation of events requires both an appropriate representation of change occurring in the scene and the application of semantics for differentiating between different...
223
click to vote
BMCBI
2010
15 years 6 months ago
2010
nd: Gene regulatory network is an abstract mapping of gene regulations in living cells that can help to predict the system behavior of living organisms. Such prediction capability...