Negotiation can be regarded as playing a game with certain rules. If the rules change, the game has to be played differently. Compared to traditional markets, electronic markets ca...
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...
Recent developments in computer science introduce and discuss new concepts for computation beyond universal Turing machines. Quantum computing relates to new insights in quantum ph...
Social-tagging communities offer great potential for smart recommendation and "socially enhanced" searchresult ranking. Beyond traditional forms of collaborative recomme...
Ralf Schenkel, Tom Crecelius, Mouna Kacimi, Thomas...
o address the need for canonical abstraction, we've adopted software engineering's concept of signatures--a technique for defining software patterns or invariant procedur...