6020 search results - page 413 / 1204 » A New Approach to Model Counting |
180
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
171
click to vote
WISE
2007
Springer
16 years 1 months ago
2007
Springer
One of the fundamental ideas of services and service oriented architecture is the possibility to develop new applications by composing existing services into business processes. Ho...
178
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
The success of the e-learning paradigm observed in recent times created a growing demand for e-learning systems in universities and other educational institutions, that itself led ...
190
click to vote
ECML
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper we consider latent variable models and introduce a new U-likelihood concept for estimating the distribution over hidden variables. One can derive an estimat...
168
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...