854 search results - page 153 / 171 » Addressing Dynamic Issues of Program Model Checking |
184
Voted
UAI
2004
15 years 7 months ago
2004
Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods ...
202
Voted
NLE
2007
15 years 5 months ago
2007
We address the problem of extracting bilingual chunk pairs from parallel text to create training sets for statistical machine translation. We formulate the problem in terms of a s...
166
Voted
MODELS
2009
Springer
16 years 27 days ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
159
Voted
NSDI
2008
15 years 8 months ago
2008
Large-scale distributed denial of service (DoS) attacks are an unfortunate everyday reality on the Internet. They are simple to execute and with the growing prevalence and size of...
179
Voted
PPAM
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...