2687 search results - page 532 / 538 » Formal Analysis of PKCS |
109
click to vote
TCAD
2008
14 years 10 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
101
click to vote
TCBB
2008
14 years 10 months ago
2008
Abstract-- Many statistical measures and algorithmic techniques have been proposed for studying residue coupling in protein families. Generally speaking, two residue positions are ...
BIOINFORMATICS
2005
14 years 10 months ago
2005
Inner holes, artifacts and blank spots are common in microarray images, but current image analysis methods do not pay them enough attention. We propose a new robust model-based me...
JCB
2007
14 years 10 months ago
2007
Analysis of biopolymer sequences and structures generally adopts one of two approaches: use of detailed biophysical theoretical models of the system with experimentally-determined...
JCIT
2007
14 years 10 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...