5499 search results - page 223 / 1100 » Generalized Rewrite Theories |
172
click to vote
ICEGOV
2009
ACM
16 years 1 months ago
2009
ACM
With presumptions that e-government theories prevail in various formats and concepts around the globe, nations and institutions, not many examples are there to emulate in terms of...
223
click to vote
GECCO
2005
Springer
16 years 22 days ago
2005
Springer
Many non-cooperative settings that could potentially be studied using game theory are characterized by having very large strategy spaces and payoffs that are costly to compute. Be...
171
click to vote
SAT
2004
Springer
16 years 16 days ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
172
click to vote
ICLP
2003
Springer
16 years 12 days ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...
179
click to vote
CG
2008
Springer
15 years 9 months ago
2008
Springer
Since Chase and Simon presented their influential paper on perception in chess in 1973, the use of chunks has become the subject of a number of studies into the cognitive behavior ...