293 search results - page 42 / 59 » Decision Diagram Optimization Using Copy Properties |
ECSQARU
2007
Springer
14 years 1 months ago
2007
Springer
Based on the canonical decomposition of belief functions, Smets introduced the concept of a latent belief structure (LBS). This concept is revisited in this article. The study of t...
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
IOR
2008
13 years 7 months ago
2008
The stochastic knapsack has been used as a model in wide ranging applications from dynamic resource allocation to admission control in telecommunication. In recent years, a variat...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Molecular recognition, which is essential in processing information in biological systems, takes place in a crowded noisy biochemical environment and requires the recognition of a ...
DEXA
2010
Springer
13 years 8 months ago
2010
Springer
Mechanical properties are the attributes that measure the faculty of a metal to withstand several loads and tensions. Specifically, ultimate tensile strength is the force a materia...