4066 search results - page 135 / 814 » Almost Complete Sets |
273
click to vote
TABLEAUX
2009
Springer
16 years 28 days 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...
166
click to vote
CSB
2005
IEEE
16 years 21 hour 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...
156
click to vote
ICMB
2005
IEEE
16 years 5 hour 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...
155
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
A scan-based BIST scheme is presented which guarantees complete fault coverage with very low hardware overhead. A probabilistic analysis shows that the output of an LFSR which fee...
162
click to vote
IJCAI
2003
15 years 7 months ago
2003
Information integration systems provide a uniform query interface to a set of sources. One of the key challenges for an information integration system is to provide maximally comp...