Sciweavers

1090 search results - page 10 / 218
» The Equivalence between Biology and Computation
Sort
View
DAC
2007
ACM
14 years 1 months ago
Memory Modeling in ESL-RTL Equivalence Checking
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
Alfred Kölbl, Jerry R. Burch, Carl Pixley
RECOMB
2009
Springer
14 years 10 months ago
Evaluating Between-Pathway Models with Expression Data
Abstract. Between-Pathway Models (BPMs) are network motifs consisting of pairs of putative redundant pathways. In this paper, we show how adding another source of high-throughput d...
Benjamin J. Hescott, Mark D. M. Leiserson, Lenore ...
RECOMB
2006
Springer
14 years 10 months ago
Improving Prediction of Zinc Binding Sites by Modeling the Linkage Between Residues Close in Sequence
Abstract. We describe and empirically evaluate machine learning methods for the prediction of zinc binding sites from protein sequences. We start by observing that a data set consi...
Sauro Menchetti, Andrea Passerini, Paolo Frasconi,...
ICCV
2009
IEEE
13 years 7 months ago
Studying brain morphometry using conformal equivalence class
Two surfaces are conformally equivalent if there exists a bijective angle-preserving map between them. The Teichm
Yalin Wang, Wei Dai, Yi-Yu Chou, Xianfeng Gu, Tony...
SAC
2006
ACM
14 years 3 months ago
FITE-TRT: a high quality translation technique for OOV words
We devised a novel statistical technique for the identification of the translation equivalents of source words obtained by transformation rule based translation (TRT). The effecti...
Ari Pirkola, Jarmo Toivonen, Heikki Keskustalo, Ka...