2397 search results - page 352 / 480 » Applications of integer relation algorithms |
102
click to vote
RTA
2005
Springer
15 years 8 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
120
click to vote
SIGMOD
1998
ACM
15 years 6 months ago
1998
ACM
The Relational On-Line Analytical Processing (ROLAP) is emerging as thedominant approach in data warehousing with decision support applications. In order to enhance query performa...
142
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Protein alignments are an essential tool for many bioinformatics analyses. While sequence alignments are accurate for proteins of high sequence similarity, they become...
125
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Processing raw DNA sequence data is an especially challenging task for relatively small laboratories and core facilities that produce as many as 5000 or more DNA seque...
150
Voted
CSDA
2006
15 years 2 months ago
2006
We explore a periodic analysis in the context of unobserved components time series models that decompose time series into components of interest such as trend, seasonal and irregu...