1867 search results - page 306 / 374 » Model-Checking Based Data Retrieval |
126
click to vote
SCFBM
2008
15 years 1 months ago
2008
Background: Ultrasound scanning uses the medical imaging format, DICOM, for electronically storing the images and data associated with a particular scan. Large health care facilit...
138
click to vote
TCBB
2010
14 years 9 months ago
2010
Recent techniques increase rapidly the amount of our knowledge on interactions between proteins. The interpretation of these new information depends on our ability to retrieve kno...
122
Voted
BMCBI
2002
15 years 2 months ago
2002
Background: SeqHound has been developed as an integrated biological sequence, taxonomy, annotation and 3-D structure database system. It provides a high-performance server platfor...
124
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
Currently most link-related applications treat all links in the same web page to be identical. One link-related application usually requires one certain property of hyperlinks but...
117
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
This paper describes one solution to the problem of how to select sequence, and link Web resources into a coherent, focused organization for instruction that addresses a user'...