It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
This paper investigates to what extent the recent growth of the Internet complements or substitutes for consumption of existing entertainment goods. Using the Consumer Expenditure...
The software industry is more than ever facing the challenge of delivering WYGIWYW software (What You Get Is What You Want). A well-structured document specifying adequate, comple...
What makes a good consistency ? Depending on the constraint, it may be a good pruning power or a low computational cost. By "weakening" arc-consistency, we propose to de...
Andrei Legtchenko, Arnaud Lallouet, AbdelAli Ed-Db...
Abstract. This is the fifth anniversary of the Robocup Rescue Simulation Competitions and the tenth anniversary of the disaster that inspired the Competitions. This is a good time...