13913 search results - page 2561 / 2783 » models 2007 |
153
click to vote
JSAT
2008
15 years 4 months ago
2008
In this paper we describe a stochastic local search (SLS) procedure for finding models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on the features...
143
click to vote
DEDS
2007
15 years 4 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
113
click to vote
DISOPT
2007
15 years 4 months ago
2007
Finding a feasible solution of a given Mixed-Integer Programming (MIP) model is a very important (NP-complete) problem that can be extremely hard in practice. Very recently, Fisch...
171
click to vote
DKE
2007
15 years 4 months ago
2007
Integration of multiple heterogeneous data sources continues to be a critical problem for many application domains and a challenge for researchers world-wide. With the increasing ...
142
click to vote
DKE
2007
15 years 4 months ago
2007
Finding interaction patterns is a challenging problem, but this kind of information about processes or social networks might be useful for an organization’s management to unders...