Sciweavers

1112 search results - page 159 / 223
» Spatio-Temporal Alignment of Sequences
Sort
View
FMCAD
2006
Springer
14 years 29 days ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
WSCG
2004
127views more  WSCG 2004»
13 years 10 months ago
Registration Tasks for a Hybrid Tracking System for Medical Augmented Reality
Tracking technologies for medical Virtual or Augmented Reality (VR/AR) applications have to fulfill demanding requirements. A hybrid tracking system can merge positive attributes ...
Bernd Schwald, Helmut Seibert
JDA
2008
87views more  JDA 2008»
13 years 9 months ago
Lossless filter for multiple repetitions with Hamming distance
Similarity search in texts, notably in biological sequences, has received substantial attention in the last few years. Numerous filtration and indexing techniques have been create...
Pierre Peterlongo, Nadia Pisanti, Fréd&eacu...
PCI
2005
Springer
14 years 2 months ago
Web Service-Enabled Grid-Based Platform for Drug Resistance Management
HIV Drug Resistance testing has been established as a routine test in several cases. Estimation of genotypic resistance is a laborious task consisting of experimental procedure and...
Panagiotis Gouvas, G. Magiorkinis, Athanasios Bour...
SDM
2003
SIAM
183views Data Mining» more  SDM 2003»
13 years 10 months ago
ApproxMAP: Approximate Mining of Consensus Sequential Patterns
Conventional sequential pattern mining methods may meet inherent difficulties in mining databases with long sequences and noise. They may generate a huge number of short and trivi...
Hye-Chung Kum, Jian Pei, Wei Wang 0010, Dean Dunca...