3820 search results - page 301 / 764 » Bounded Model Debugging |
134
click to vote
HVC
2005
Springer
15 years 9 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
118
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper we propose an approach to control design of nonlinear time–delay systems, which is based on the construction of symbolic models, where each symbolic state and e...
148
click to vote
IWANN
2001
Springer
15 years 8 months ago
2001
Springer
One of the main research concern in neural networks is to find the appropriate network size in order to minimize the trade-off between overfitting and poor approximation. In this ...
156
click to vote
ECIR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Social tagging systems provide methods for users to categorise resources using their own choice of keywords (or "tags") without being bound to a restrictive set...
151
click to vote
JPDC
2006
15 years 4 months ago
2006
We propose a framework for defining agent-based models (ABMs) and two algorithms for the automatic parallelization of agent-based models, a general version P-ABMG for all ABMs def...