6020 search results - page 589 / 1204 » A New Approach to Model Counting |
207
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
A popular approach to pixel labeling problems, such as multiclass image segmentation, is to construct a pairwise conditional Markov random field (CRF) over image pixels where the...
192
click to vote
DASFAA
2005
IEEE
16 years 25 days ago
2005
IEEE
In many different application areas, e.g. space observation systems or engineering systems of world-wide operating companies, there is a need for an efficient distributed intersect...
210
click to vote
WECWIS
1999
IEEE
15 years 11 months ago
1999
IEEE
Analysis of network and application pegormance is traditionally based on mathematical models derived from first principles. Such models are usually complex, diflcult to use, and d...
197
click to vote
WSC
2008
15 years 9 months ago
2008
Most discrete event simulation frameworks are able to output simulation runs as a trace. The Network Simulator 2 (NS2) is a prominent example that does so to decouple generation o...
184
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
Conceptual-relational mappings between conceptual models and relational schemas have been used increasingly to achieve interoperability or overcome impedance mismatch in modern dat...