10997 search results - page 1835 / 2200 » On the Structure of Complete Sets |
193
click to vote
BIBE
2005
IEEE
16 years 14 days ago
2005
IEEE
We address the issue of providing highly informative annotations using information revealed by the structured vocabularies of Gene Ontology (GO). For a target, a set of candidate ...
182
click to vote
BIBE
2005
IEEE
16 years 14 days ago
2005
IEEE
PSI-BLAST remains one of the popular tools for searching remote homologs in sequence databases. We recently demonstrated that hybrid alignment can function as the alignment core f...
173
click to vote
CSFW
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
180
click to vote
EEE
2005
IEEE
16 years 14 days ago
2005
IEEE
For the composition of Web services non-functional characteristics are commonly considered criteria for finding and selecting available services. Our work focuses on a mechanism ...
177
click to vote
HAPTICS
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper we propose a new set of primitives to realize a large-area covering realistic tactile display. They stimulate the skin surface with suction pressure (SPS method) as ...