Sciweavers

4466 search results - page 692 / 894
» Large-Scale Data Analysis Using Heuristic Methods
Sort
View
157
Voted
FORMATS
2007
Springer
15 years 7 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
167
Voted
BMCBI
2005
117views more  BMCBI 2005»
15 years 3 months ago
Differentiation of regions with atypical oligonucleotide composition in bacterial genomes
Background: Complete sequencing of bacterial genomes has become a common technique of present day microbiology. Thereafter, data mining in the complete sequence is an essential st...
Oleg N. Reva, Burkhard Tümmler
KDD
1998
ACM
141views Data Mining» more  KDD 1998»
15 years 7 months ago
Rule Discovery from Time Series
We consider the problem of nding rules relating patterns in a time series to other patterns in that series, or patterns in one series to patterns in another series. A simple examp...
Gautam Das, King-Ip Lin, Heikki Mannila, Gopal Ren...
129
Voted
BMCBI
2010
151views more  BMCBI 2010»
15 years 3 months ago
BABAR: an R package to simplify the normalisation of common reference design microarray-based transcriptomic datasets
Background: The development of DNA microarrays has facilitated the generation of hundreds of thousands of transcriptomic datasets. The use of a common reference microarray design ...
Mark J. Alston, John Seers, Jay C. D. Hinton, Sach...
BMCBI
2008
121views more  BMCBI 2008»
15 years 3 months ago
Modularization of biochemical networks based on classification of Petri net t-invariants
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
Eva Grafahrend-Belau, Falk Schreiber, Monika Heine...