2909 search results - page 16 / 582 » Consistency of the theory of contexts |
128
Voted
CIKM
2010
Springer
15 years 14 days ago
2010
Springer
In this paper, we present a novel entity coreference algorithm for Semantic Web instances. The key issues include how to locate context information and how to utilize the context ...
112
Voted
MKM
2007
Springer
15 years 8 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
102
Voted
CHI
2009
ACM
15 years 6 months ago
2009
ACM
An intriguing anomaly of the usual way of designing Fitts’ law experiments in experimental psychology and HCI is exposed: experiments are traditionally designed so as to careful...
175
Voted
IJCV
2002
15 years 1 months ago
2002
Instantaneous camera motion estimation is an important research topic in computer vision. Although in theory more than five points uniquely determine the solution in an ideal situa...
114
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...