2909 search results - page 16 / 582 » Consistency of the theory of contexts |
103
click to vote
CIKM
2010
Springer
14 years 10 months 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 ...
MKM
2007
Springer
15 years 5 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 ...
CHI
2009
ACM
15 years 4 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...
155
click to vote
IJCV
2002
14 years 11 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...
CSL
2010
Springer
15 years 25 days 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...