456 search results - page 16 / 92 » What is good |
157
Voted
CAV
1998
Springer
15 years 9 months 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...
129
click to vote
IEPOL
2007
15 years 5 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...
149
click to vote
RE
2004
Springer
15 years 11 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...
140
click to vote
FLAIRS
2004
15 years 7 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...
152
click to vote
ROBOCUP
2005
Springer
15 years 11 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...