Sciweavers

827 search results - page 35 / 166
» Patterns for Timed Property Specifications
Sort
View
144
Voted
ACST
2006
15 years 3 months ago
PDC: Pattern discovery with confidence in DNA sequences
Pattern discovery in DNA sequences is one of the most challenging tasks in molecular biology and computer science. The main goal of pattern discovery in DNA sequences is to identi...
Yi Lu, Shiyong Lu, Farshad Fotouhi, Yan Sun, Zijia...
ISQED
2007
IEEE
148views Hardware» more  ISQED 2007»
15 years 8 months ago
On Accelerating Soft-Error Detection by Targeted Pattern Generation
Soft error due to ionizing radiation is emerging as a major concern for future technologies. The measurement unit for failures due to soft errors is called Failure-In-Time (FIT) t...
Alodeep Sanyal, Kunal P. Ganeshpure, Sandip Kundu
MUE
2007
IEEE
79views Multimedia» more  MUE 2007»
15 years 8 months ago
Fuzzy Audio Similarity Measures Based on Spectrum Histograms and Fluctuation Patterns
Spectrum histograms and fluctuation patterns are representations of audio fragments. By comparing these representations, we can determine the similarity between the corresponding...
Klaas Bosteels, Etienne E. Kerre
ISORC
2000
IEEE
15 years 5 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
TKDE
2008
156views more  TKDE 2008»
15 years 1 months ago
A Framework for Mining Sequential Patterns from Spatio-Temporal Event Data Sets
Given a large spatio-temporal database of events, where each event consists of the fields event ID, time, location, and event type, mining spatio-temporal sequential patterns ident...
Yan Huang, Liqin Zhang, Pusheng Zhang