8828 search results - page 310 / 1766 » Formal methods in practice |
181
click to vote
SODA
2000
ACM
15 years 8 months ago
2000
ACM
: k-SAT is one of the best known among a wide class of random constraint satisfaction problems believed to exhibit a threshold phenomenon where the control parameter is the ratio, ...
161
click to vote
UAI
2000
15 years 8 months ago
2000
Incorporating feature selection into a classi cation or regression method often carries a number of advantages. In this paper we formalize feature selection speci cally from a dis...
318
click to vote
NFM
2011
15 years 1 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
178
click to vote
JCS
2010
15 years 1 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
157
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
People tinker, hack, fix, reuse, and assemble materials in creative and unexpected ways, often codifying and sharing their production process with others. Do-ityourself (DIY) enco...