5608 search results - page 359 / 1122 » Structure description tools |
145
click to vote
BIBE
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we investigate a new approach for literature mining. We use frequent subgraph mining, and its generalization topological structure mining, for finding interesting re...
169
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Since the publication of the first draft of the human genome in 2000, bioinformatic data have been accumulating at an overwhelming pace. Currently, more than 3 million...
138
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Staphylococcus aureus is a human pathogen that causes a wide variety of lifethreatening infections using a large number of virulence factors. One of the major global r...
234
click to vote
POPL
2011
ACM
14 years 8 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
151
click to vote
EDUTAINMENT
2007
Springer
15 years 11 months ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...