2067 search results - page 247 / 414 » Logics of propositional control |
178
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
188
click to vote
E4MAS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper is part of a long term research program on multiagent systems (MASs), based on the proposition that the interactions among the members of a large and heterogen...
161
click to vote
LREC
2010
15 years 8 months ago
2010
The current PASSAGE syntactic representation is the result of 9 years of constant evolution with the aim of providing a common ground for evaluating parsers of French whatever the...
179
click to vote
AAAI
2004
15 years 8 months ago
2004
This paper examines the relative performance of additive and multiplicative clause weighting schemes for propositional satisfiability testing. Starting with one of the most recent...
198
click to vote
IJSI
2008
15 years 6 months ago
2008
Abstract Commercial organizations increasingly need software processes sensitive to business value, quick to apply, supportive of multi-stakeholder collaboration, and capable of ea...