456 search results - page 16 / 92 » What is good |
CAV
1998
Springer
14 years 21 days ago
1998
Springer
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...
IEPOL
2007
13 years 8 months ago
2007
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...
RE
2004
Springer
14 years 1 months ago
2004
Springer
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...
FLAIRS
2004
13 years 10 months ago
2004
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...
ROBOCUP
2005
Springer
14 years 1 months ago
2005
Springer
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...