455 search results - page 34 / 91 » Understanding Counterexamples with explain |
100
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
While recently the strength of chess-playing programs has grown immensely, their capability of explaining in human understandable terms why some moves are good or bad has enjoyed l...
111
Voted
FSE
2006
Springer
15 years 6 months ago
2006
Springer
MD5 is a well-known and widely-used cryptographic hash function. It has received renewed attention from researchers subsequent to the recent announcement of collisions found by Wa...
115
click to vote
JSS
2007
15 years 2 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
115
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Little is known about how developers think about design during code modification tasks or how experienced developers' design knowledge helps them work more effectively. We pe...
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
The study investigates the role of ICT in facilitating democracy. The role of ICT in maintaining status quo, or structure of the society can be explained using structuration theor...