6978 search results - page 1077 / 1396 » On Proofs in System P |
168
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
We present a stationary iterative scheme for PageRank computation. The algorithm is based on a linear system formulation of the problem, uses inner/outer iterations, and amounts to...
163
click to vote
LREC
2010
15 years 8 months ago
2010
In order to manage the knowledge representation of European law we have proposed the Legal Taxonomy Syllabus methodology (Ajani et al., 2007a; Ajani et al., 2007b). In this paper ...
177
click to vote
MEDINFO
2007
15 years 8 months ago
2007
The accurate quantification of disease patterns in medical images allows radiologists to track the progress of a disease. Various computer vision techniques are able to automatica...
175
click to vote
AAAI
2006
15 years 8 months ago
2006
Cognitive modeling techniques provide a way of evaluating user interface designs, based on what is known about human cognitive strengths and limitations. Cognitive modelers face a...
173
click to vote
ACL
2006
15 years 8 months ago
2006
We consider the problem of producing a multi-document summary given a collection of documents. Since most successful methods of multi-document summarization are still largely extr...