Sciweavers

6656 search results - page 103 / 1332
» Change, Change, Change: Three Approaches
Sort
View
ICDAR
2003
IEEE
15 years 11 months ago
Word Searching in CCITT Group 4 Compressed Document Images
In this paper, we present a compressed pattern matching method for searching user queried words in the CCITT Group 4 compressed document images, without decompressing. The feature...
Yue Lu, Chew Lim Tan
ECAI
2006
Springer
15 years 10 months ago
CTL Model Update: Semantics, Computations and Implementation
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
Yulin Ding, Yan Zhang
IDA
2007
Springer
15 years 6 months ago
Anomaly detection in data represented as graphs
An important area of data mining is anomaly detection, particularly for fraud. However, little work has been done in terms of detecting anomalies in data that is represented as a g...
William Eberle, Lawrence B. Holder
BMCBI
2007
104views more  BMCBI 2007»
15 years 6 months ago
A comparison of Affymetrix gene expression arrays
Background: Affymetrix GeneChips™ are an important tool in many facets of biological research. Recently, notable design changes to the chips have been made. In this study, we us...
Mark D. Robinson, Terence P. Speed
ICSE
1994
IEEE-ACM
15 years 10 months ago
Lessons from Using Basic LOTOS
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...
Mark A. Ardis