5086 search results - page 473 / 1018 » The Power of Comparative Reasoning |
163
click to vote
ASPDAC
2004
ACM
16 years 9 days ago
2004
ACM
Abstract— A split shared-bus architecture with multiple simultaneous bus accesses is proposed. Compared to traditional bus architectures, the performance of proposed architecture...
175
click to vote
CIS
2004
Springer
16 years 8 days ago
2004
Springer
For finding accurate and biologically meaningful multiple sequence alignment, it is required to consider a loosely constrained version of multiple sequence alignment. This paper is...
137
click to vote
CPM
2004
Springer
16 years 8 days ago
2004
Springer
Optimized spaced seeds improve sensitivity and specificity in local homology search. Several authors have shown that multiple seeds can have better sensitivity and specificity t...
188
click to vote
ESORICS
2004
Springer
16 years 8 days ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...
175
click to vote
FLOPS
2004
Springer
16 years 8 days ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...