Sciweavers

4078 search results - page 645 / 816
» On the Emergence of New Computer Technologies
Sort
View
BMCBI
2010
90views more  BMCBI 2010»
15 years 6 months ago
Local alignment of generalized k-base encoded DNA sequence
Background: DNA sequence comparison is a well-studied problem, in which two DNA sequences are compared using a weighted edit distance. Recent DNA sequencing technologies however o...
Nils Homer, Stanley F. Nelson, Barry Merriman
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 10 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
CVPR
2008
IEEE
15 years 6 months ago
Meshless deformable models for LV motion analysis
We propose a novel meshless deformable model for in vivo cardiac left ventricle (LV) 3D motion estimation. As a relatively new technology, tagged MRI (tMRI) provides a direct and ...
Xiaoxu Wang, Dimitris N. Metaxas, Ting Chen, Leon ...
IJFCS
2006
130views more  IJFCS 2006»
15 years 6 months ago
Mealy multiset automata
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...
Gabriel Ciobanu, Viorel Mihai Gontineac
CIKM
2009
Springer
15 years 11 months ago
Answering XML queries using materialized views revisited
Answering queries using views is a well-established technique in databases. In this context, two outstanding problems can be formulated. The first one consists in deciding whethe...
Xiaoying Wu, Dimitri Theodoratos, Wendy Hui Wang