428 search results - page 40 / 86 » Completeness of a Fact Extractor |
DAC
2009
ACM
16 years 26 days ago
2009
ACM
State elements are increasingly vulnerable to soft errors due to their decreasing size, and the fact that latched errors cannot be completely eliminated by electrical or timing ma...
WWW
2008
ACM
16 years 16 days ago
2008
ACM
The Semantic Web is based on accessing and reusing RDF data from many different sources, which one may assign different levels of authority and credibility. Existing Semantic Web ...
CHI
2008
ACM
16 years 7 days ago
2008
ACM
We study the development of common ground in an emergency management planning task. Twelve three-person multi-role teams performed the task with a paper prototype in a controlled ...
130
click to vote
CADE
2005
Springer
16 years 4 days ago
2005
Springer
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to p...
STOC
2007
ACM
16 years 4 days ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...