Sciweavers

989 search results - page 166 / 198
» HowNet and Its Computation of Meaning
Sort
View
JPDC
2007
167views more  JPDC 2007»
14 years 11 months ago
On the design of high-performance algorithms for aligning multiple protein sequences on mesh-based multiprocessor architectures
In this paper, we address the problem of multiple sequence alignment (MSA) for handling very large number of proteins sequences on mesh-based multiprocessor architectures. As the ...
Diana H. P. Low, Bharadwaj Veeravalli, David A. Ba...
ICIP
2008
IEEE
16 years 1 months ago
Automatic liver tumor diagnosis with Dynamic-Contrast Enhanced MRI
Dynamic-Contrast Enhanced MRI (DCE-MRI) is currently used as a complementary diagnosis tool to assess the malignancy of the liver tumor, called hepatoma, hepatocarcinoma, hepatoce...
Liliana Caldeira, Isabela Silva, João Sanch...
POPL
2007
ACM
16 years 4 days ago
Specialization of CML message-passing primitives
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
John H. Reppy, Yingqi Xiao
TLDI
2010
ACM
190views Formal Methods» more  TLDI 2010»
15 years 8 months ago
Distributed programming with distributed authorization
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
Kumar Avijit, Anupam Datta, Robert Harper
FCCM
2006
IEEE
195views VLSI» more  FCCM 2006»
15 years 5 months ago
A Parallel Hardware Architecture for fast Gaussian Elimination over GF(2)
This paper presents a hardware-optimized variant of the well-known Gaussian elimination over GF(2) and its highly efficient implementation. The proposed hardware architecture, we...
Andrey Bogdanov, M. C. Mertens