1615 search results - page 48 / 323 » What's new |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We give a new insight into the upper bounding of the 3-SAT threshold by the first moment method. The best criteria developed so far to select the solutions to be counted discrimina...
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
During its formative decades the software community looked twice to the theories of ChristopherAlexander for inspiration, both times failing to completely master the architect’s...
CCIA
2005
Springer
14 years 3 months ago
2005
Springer
The explanation of the results is a key point of automatic problem solvers. CBR systems solve a new problem by assessing its similarity with already solved cases and they commonly ...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
In a previous work we extended the notion of multi-unit combinatorial reverse auction (MUCRA) by adding a new dimension to the goods at auction. A buyer can express transformabilit...
DIGRA
2005
Springer
14 years 3 months ago
2005
Springer
Building experimental games offers an alternative methodology for researching and understanding games, beyond what can be understood by playing and studying existing games alone. ...