9405 search results - page 1508 / 1881 » Computing a Model of Set Theory |
146
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Estimation of DNA duplex hybridization free energy is widely used for predicting cross-hybridizations in DNA computing and microarray experiments. A number of software...
192
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: General protein evolution models help determine the baseline expectations for the evolution of sequences, and they have been extensively useful in sequence analysis an...
207
click to vote
VIS
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, we present a volume roaming system dedicated to oil and gas exploration. Our system combines probebased volume rendering with data processing and computing. The dai...
189
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Modern maps provide a variety of information about roads and their surrounding landscape allowing navigation systems to go beyond simple shortest path computation. In this demo, w...
221
click to vote
ICVS
2001
Springer
15 years 11 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...