„Model Counting“
Suchergebnisse
1.000+ Treffer
-
Counting the lives saved by DOTS in India: a model-based approach
-
Reusing d-DNNFs for Efficient Feature-Model Counting
-
Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241)
-
Dependence logic with a majority quantifier
-
Evaluating state-of-the-art #SAT solvers on industrial configuration spaces
-
A note on the Düsseldorfer Model for counting homeless people in a German city
-
Stratification effects without morphological strata, syllable counting effects without counts – modelling English stress assignment with Naive Discriminative Learning
-
Shared Frailty Model for Recurrent Event Competing Risks Data Using Averaged Counting Process Approach
-
Quantifying changes in abundance without counting animals: extensions to a method of fitting integrated population models
-
Exploring time-resolved fluorescence data: a software solution for model generation and analysis
-
Efficient estimation in multiplicative counting process models
-
Power counting in the standard model effective field theory – with applications to gg → tt and h → gg
-
Robuste Drehwinkelmessung mechanisch kommutierter Gleichstrommaschinen anhand von Oszillationen elektrischer Messgrößen am Beispiel einer sattelintegrierten elektrischen Parkbremse
-
Semiring extensions for model counting and model sampling
-
Explicit concentration inequalities for eigenvalue-counting functions in the Anderson model
-
Counting and sliding verifying and restoring healthy systems
-
Complexity of Normal Forms on Structures of Bounded Degree
-
Bis(terpyridine) monolayers on metal surfaces as 2D-model systems
-
Training-free Urban Tree Counting with Multi-modal data
-
Markovian simple counting processes and models of ordered random variables