6020 search results - page 190 / 1204 » A New Approach to Model Counting |
144
click to vote
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a new Bayesian approach to object identification: variants. By object identification we mean the detection of the member (regular variant) of a given statistical popula...
170
Voted
DAGSTUHL
2010
15 years 6 months ago
2010
Illustrative techniques are a new and exciting direction in visualization research. Traditional techniques which have been used by scientific illustrators for centuries are re-exa...
148
Voted
SOQUA
2007
15 years 5 months ago
2007
Failure detection is a difficult and often expensive task. The principle of self-healing addresses this cost issue, but poses new research questions. This work focuses on detectin...
139
click to vote
JDCTA
2008
15 years 4 months ago
2008
Urbanization and industrialization with minimal focus on environmental pollution has resulted in rapid degradation of natural environment. A fresh look at the pollution control st...
157
click to vote
ENGL
2007
15 years 4 months ago
2007
—Instantaneous detection and diagnosis of various faults and break-downs in industrial processes is required to reduce production losses and damage to equipments. A solved knowle...