Sciweavers

5634 search results - page 969 / 1127
» About Abstract Classes
Sort
View
JCC
2008
88views more  JCC 2008»
15 years 4 months ago
A self-organizing algorithm for molecular alignment and pharmacophore development
Abstract: We present a method for simultaneous three-dimensional (3D) structure generation and pharmacophorebased alignment using a self-organizing algorithm called Stochastic Prox...
Deepak Bandyopadhyay, Dimitris K. Agrafiotis
FAC
2007
128views more  FAC 2007»
15 years 4 months ago
Verifying a signature architecture: a comparative case study
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki...
BMCBI
2005
251views more  BMCBI 2005»
15 years 4 months ago
Contextual weighting for Support Vector Machines in literature mining: an application to gene versus protein name disambiguation
Background: The ability to distinguish between genes and proteins is essential for understanding biological text. Support Vector Machines (SVMs) have been proven to be very effici...
Tapio Pahikkala, Filip Ginter, Jorma Boberg, Jouni...
TMI
2008
149views more  TMI 2008»
15 years 4 months ago
Shape-Driven Three-Dimensional Watersnake Segmentation of Biological Membranes in Electron Tomography
Abstract--Due to the significant complexity of membrane morphology and the generally poor image quality in electron tomographic volumes, current automatic methods for segmentation ...
Hieu Tat Nguyen, Qiang Ji
CORR
2004
Springer
100views Education» more  CORR 2004»
15 years 4 months ago
On Spatial Conjunction as Second-Order Logic
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
Viktor Kuncak, Martin C. Rinard