2475 search results - page 430 / 495 » Question Answering in TREC |
105
click to vote
ESOP
2001
Springer
15 years 4 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...
STACS
2001
Springer
15 years 4 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...
SIGUCCS
2000
ACM
15 years 4 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...
CHI
2009
ACM
15 years 3 months ago
2009
ACM
Due to the increasing penetration of mobile phones even into poor communities, mobile payment schemes could bring formal financial services to the "unbanked". However, b...
RTA
2010
Springer
15 years 3 months ago
2010
Springer
Data words and data trees appear in verification and XML processing. The term “data” means that positions of the word, or tree, are decorated with elements of an infinite set...