4036 search results - page 756 / 808 » Formal Methods |
112
click to vote
CIKM
2010
Springer
14 years 9 months ago
2010
Springer
In the standard formalization of supervised learning problems, a datum is represented as a vector of features without prior knowledge about relationships among features. However, ...
JMLR
2010
14 years 6 months ago
2010
: This review presents empirical researchers with recent advances in causal inference, and stresses the paradigmatic shifts that must be undertaken in moving from traditional stati...
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
119
click to vote
SIGSOFT
2003
ACM
16 years 18 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...