4502 search results - page 850 / 901 » Regular Model Checking |
110
Voted
BMCBI
2004
15 years 13 days ago
2004
Background: Many proteomics initiatives require a seamless bioinformatics integration of a range of analytical steps between sample collection and systems modeling immediately ass...
122
click to vote
CGF
2002
15 years 12 days ago
2002
We have shown how to construct multiresolution structures for reversing subdivision rules using global least squares models 16. As a result, semiorthogonal wavelet systems have al...
105
Voted
MANSCI
2010
14 years 11 months ago
2010
Companies in a variety of industries (e.g., airlines, hotels, theaters) often use last-minute sales to dispose of unsold capacity. Although this may generate incremental revenues ...
111
Voted
PRL
2010
14 years 11 months ago
2010
: Single training image face recognition is one of main challenges to appearance-based pattern recognition techniques. Many classical dimensionality reduction methods such as LDA h...
137
Voted
EMNLP
2010
14 years 10 months ago
2010
Recurrent event queries (REQ) constitute a special class of search queries occurring at regular, predictable time intervals. The freshness of documents ranked for such queries is ...