4107 search results - page 578 / 822 » The Generalized Lambda Test |
204
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
185
click to vote
EXPCS
2007
15 years 11 months ago
2007
XML simplifies data exchange among heterogeneous computers, but it is notoriously verbose and has spawned the development of many XML-specific compressors and binary formats. We p...
176
click to vote
EXPCS
2007
15 years 11 months ago
2007
In surprisingly many computer science research projects, system outcomes may be influenced by computerized or human agents with different economic incentives. Such studies include...
205
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
We investigate the task of finding links from Wikipedia pages to external web pages. Such external links significantly extend the information in Wikipedia with information from ...
188
click to vote
FPGA
2007
ACM
15 years 11 months ago
2007
ACM
Progress in reconfigurable hardware technology allows the implementation of complete SoCs in today's FPGAs. In the context design for reliability, software checkpointing is a...