Sciweavers

2626 search results - page 378 / 526
» The complexity of stochastic sequences
Sort
View
TJS
2002
160views more  TJS 2002»
15 years 6 months ago
Adaptive Optimizing Compilers for the 21st Century
Historically, compilers have operated by applying a fixed set of optimizations in a predetermined order. We call such an ordered list of optimizations a compilation sequence. This...
Keith D. Cooper, Devika Subramanian, Linda Torczon
BIBM
2010
IEEE
286views Bioinformatics» more  BIBM 2010»
15 years 4 months ago
Evaluation of short read metagenomic assembly
Advances in sequencing technologies have equipped researchers with the ability to sequence the collective genome of entire microbial communities commonly referred to as metagenomi...
Anveshi Charuvaka, Huzefa Rangwala
CORR
2010
Springer
185views Education» more  CORR 2010»
15 years 3 months ago
Analysing the behaviour of robot teams through relational sequential pattern mining
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
Grazia Bombini, Raquel Ros, Stefano Ferilli, Ramon...
BMCBI
2010
131views more  BMCBI 2010»
15 years 1 months ago
Dynamics based alignment of proteins: an alternative approach to quantify dynamic similarity
Background: The dynamic motions of many proteins are central to their function. It therefore follows that the dynamic requirements of a protein are evolutionary constrained. In or...
Márton Münz, Rune B. Lyngsø, Jo...
QEST
2005
IEEE
16 years 3 days ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
YoungMin Kwon, Gul A. Agha