5414 search results - page 980 / 1083 » Data representation synthesis |
137
Voted
ENTCS
2002
15 years 3 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
129
click to vote
CSDA
2007
15 years 3 months ago
2007
Consider the situation where the Structuration des Tableaux à Trois Indices de la Statistique (STATIS) methodology is applied to a series of studies, each study being represented...
106
Voted
NAR
2000
15 years 3 months ago
2000
The IMB Jena Image Library of Biological Macromolecules (http://www.imb-jena.de/IMAGE.html ) is aimed at a better dissemination of information on three-dimensional biopolymer stru...
138
Voted
NAR
2000
15 years 3 months ago
2000
The Signal Recognition Particle Database (SRPDB) at http://psyche.uthct.edu/dbs/SRPDB/SRPDB.html and http://bio.lundberg.gu.se/dbs/SRPDB/SRPDB. html assists in the better understa...
122
Voted
PAMI
2000
15 years 3 months ago
2000
We describe an automated scene modeling system that consists of two components operating in an interleaved fashion: an incremental modeler that builds solid models from range imag...