Sciweavers

1494 search results - page 256 / 299
» Less Extreme Programming
Sort
View
BMCBI
2007
126views more  BMCBI 2007»
15 years 2 months ago
Multiple non-collinear TF-map alignments of promoter regions
Background: The analysis of the promoter sequence of genes with similar expression patterns is a basic tool to annotate common regulatory elements. Multiple sequence alignments ar...
Enrique Blanco, Roderic Guigó, Xavier Messe...
SIGIR
2008
ACM
15 years 2 months ago
Learning to rank at query-time using association rules
Some applications have to present their results in the form of ranked lists. This is the case of many information retrieval applications, in which documents must be sorted accordi...
Adriano Veloso, Humberto Mossri de Almeida, Marcos...
108
Voted
BMCBI
2005
109views more  BMCBI 2005»
15 years 2 months ago
Genome comparison without alignment using shortest unique substrings
Background: Sequence comparison by alignment is a fundamental tool of molecular biology. In this paper we show how a number of sequence comparison tasks, including the detection o...
Bernhard Haubold, Nora Pierstorff, Friedrich M&oum...
159
Voted
ANSOFT
2002
126views more  ANSOFT 2002»
15 years 2 months ago
The Real-Time Process Algebra (RTPA)
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
Yingxu Wang
138
Voted
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 19 days ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier