Sciweavers

1060 search results - page 109 / 212
» Using an Agile Approach in a Large, Traditional Organization
Sort
View
CADE
2007
Springer
16 years 6 months ago
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
Yeting Ge, Clark Barrett, Cesare Tinelli
CVPR
2005
IEEE
16 years 8 months ago
Rank-R Approximation of Tensors: Using Image-as-Matrix Representation
We present a novel multilinear algebra based approach for reduced dimensionality representation of image ensembles. We treat an image as a matrix, instead of a vector as in tradit...
Hongcheng Wang, Narendra Ahuja
CSDA
2006
191views more  CSDA 2006»
15 years 6 months ago
Forecasting daily time series using periodic unobserved components time series models
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...
Siem Jan Koopman, Marius Ooms
IJCAI
1997
15 years 7 months ago
Toward Structured Retrieval in Semi-structured Information Spaces
A semi-structured information space consists of multiple collections of textual documents containing fielded or tagged sections. The space can be highly heterogeneous, because eac...
Scott B. Huffman, Catherine Baudin
BMCBI
2005
136views more  BMCBI 2005»
15 years 6 months ago
Identification of clustered microRNAs using an ab initio prediction method
Background: MicroRNAs (miRNAs) are endogenous 21 to 23-nucleotide RNA molecules that regulate protein-coding gene expression in plants and animals via the RNA interference pathway...
Alain Sewer, Nicodème Paul, Pablo Landgraf,...