6608 search results - page 1257 / 1322 » On the Completeness of Model Checking |
180
Voted
BMCBI
2004
15 years 3 months ago
2004
Background: When publishing large-scale microarray datasets, it is of great value to create supplemental websites where either the full data, or selected subsets corresponding to ...
147
Voted
BMCBI
2004
15 years 3 months ago
2004
Background: Within the peer-reviewed literature, associations between two things are not always recognized until commonalities between them become apparent. These commonalities ca...
149
Voted
JODL
2000
15 years 3 months ago
2000
We propose an electronic marketplace architecture, called MOPPET, where the commerce processes in the marketplace are modeled as adaptable agent-based workflows. The higher level ...
143
Voted
PRESENCE
2000
15 years 3 months ago
2000
The Virtual Explorer project of the Senses Bureau at the University of California, San Diego, focuses on creating immersive, highly interactive environments for education and scie...
165
Voted
PAMI
1998
15 years 3 months ago
1998
—It is well-known that the linear scale-space theory in computer vision is mainly based on the Gaussian kernel. The purpose of the paper is to propose a scale-space theory based ...