2490 search results - page 71 / 498 » Complexity of Contextual Reasoning |
125
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Web search services are among the most heavily used applications on the World Wide Web. Perhaps because search is used in such a huge variety of tasks and contexts, the user inter...
153
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
130
click to vote
IJMSO
2006
15 years 4 months ago
2006
Recent expectations regarding the new generation of Web strongly depend on the success of Semantic Web technology. Resource Description Framework (RDF) is a basis for an explicit a...
126
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Using appropriate notation systems for proofs, cutreduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system ...
121
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We show that reachability and termination for lossy channel systems is exactly at level Fωω in the Fast-Growing Hierarchy of recursive functions, the first level that dominates...