2435 search results - page 327 / 487 » Question Answering in Webclopedia |
161
click to vote
ACMACE
2009
ACM
15 years 11 months ago
2009
ACM
How do games effect the way we problem solve, socialize, or even view the world? When we shoot do we learn to destroy obstacles instead of work around them? Does the binary world ...
209
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
171
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...
158
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
Creating a university Help Center from scratch can be a challenging yet very rewarding experience for an IT professional. Buying computers, building networks, and installing softw...
164
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...