3820 search results - page 241 / 764 » Bounded Model Debugging |
144
Voted
ENTCS
2006
15 years 3 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
150
Voted
DAM
1999
15 years 3 months ago
1999
An algorithm called Modoc", which has been introduced elsewhere, enhances propositional model elimination with autarky pruning, and other features. The model elimination meth...
122
Voted
COLT
2008
Springer
15 years 5 months ago
2008
Springer
We show how models for prediction with expert advice can be defined concisely and clearly using hidden Markov models (HMMs); standard HMM algorithms can then be used to efficientl...
134
Voted
DAC
2006
ACM
15 years 7 months ago
2006
ACM
Statistical static timing analysis (SSTA) has been a popular research topic in recent years. A fundamental issue with applying SSTA in practice today is the lack of reliable and e...
176
Voted
SIGGRAPH
1992
ACM
15 years 7 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...