11484 search results - page 626 / 2297 » Modeling in the Large and Modeling in the Small |
179
Voted
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
193
click to vote
SPLC
2008
15 years 8 months ago
2008
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
198
click to vote
NIPS
2004
15 years 8 months ago
2004
A generative probabilistic model for objects in images is presented. An object consists of a constellation of features. Feature appearance and pose are modeled probabilistically. ...
164
Voted
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
222
Voted
ENTCS
2007
15 years 7 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...