3172 search results - page 67 / 635 » On the Random-Self-Reducibility of Complete Sets |
172
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
104
Voted
CSB
2005
IEEE
15 years 6 months ago
2005
IEEE
Annotation of protein function often arises in the context of partially complete genomes but is not adequately addressed. We present an annotation method by extracting ortholog cl...
101
click to vote
ICMB
2005
IEEE
15 years 6 months ago
2005
IEEE
Service discovery is important in mobile and pervasive computing environments, where the set of resources available to an entity changes dynamically over time. This paper describe...
114
Voted
ORDER
2010
14 years 11 months ago
2010
We prove that every orthocomplete homogeneous effect algebra is sharply dominating. Let us denote the greatest sharp element below x by x↓. For every element x of an orthocomple...
109
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
The process of rank aggregation is intimately intertwined with the structure of skew-symmetric matrices. We apply recent advances in the theory and algorithms of matrix completion...