Sciweavers

171 search results - page 32 / 35
» Hierarchical Behavior Knowledge Space
Sort
View
TCBB
2010
106views more  TCBB 2010»
13 years 5 months ago
Predicting Novel Human Gene Ontology Annotations Using Semantic Analysis
—The correct interpretation of many molecular biology experiments depends in an essential way on the accuracy and consistency of the existing annotation databases. Such databases...
Bogdan Done, Purvesh Khatri, Arina Done, Sorin Dra...
TMI
2010
208views more  TMI 2010»
13 years 2 months ago
Patient-Specific Modeling and Quantification of the Aortic and Mitral Valves From 4-D Cardiac CT and TEE
As decisions in cardiology increasingly rely on non-invasive methods, fast and precise image processing tools have become a crucial component of the analysis workflow. To the best ...
Razvan Ioan Ionasec, Ingmar Voigt, Bogdan Georgesc...
VIS
2005
IEEE
146views Visualization» more  VIS 2005»
14 years 8 months ago
View Selection for Volume Rendering
In a visualization of a three-dimensional dataset, the insights gained are dependent on what is occluded and what is not. Suggestion of interesting viewpoints can improve both the...
Udeepta Bordoloi, Han-Wei Shen
ACSAC
2006
IEEE
14 years 1 months ago
Back to the Future: A Framework for Automatic Malware Removal and System Repair
Malware is software with malicious intent. Besides viruses and worms, spyware, adware, and other newer forms of malware have recently emerged as widely-spread threats to system se...
Francis Hsu, Hao Chen, Thomas Ristenpart, Jason Li...
POPL
2012
ACM
12 years 3 months ago
Static and user-extensible proof checking
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
Antonis Stampoulis, Zhong Shao