Sciweavers

7890 search results - page 1213 / 1578
» The MathSAT 3 System
Sort
View
BMCBI
2005
158views more  BMCBI 2005»
15 years 6 months ago
Automated generation of heuristics for biological sequence comparison
Background: Exhaustive methods of sequence alignment are accurate but slow, whereas heuristic approaches run quickly, but their complexity makes them more difficult to implement. ...
Guy St. C. Slater, Ewan Birney
BMCBI
2005
155views more  BMCBI 2005»
15 years 6 months ago
Mining protein function from text using term-based support vector machines
Background: Text mining has spurred huge interest in the domain of biology. The goal of the BioCreAtIvE exercise was to evaluate the performance of current text mining systems. We...
Simon B. Rice, Goran Nenadic, Benjamin J. Stapley
JCC
2007
79views more  JCC 2007»
15 years 6 months ago
Interfacing Q-Chem and CHARMM to perform QM/MM reaction path calculations
Abstract: A hybrid quantum mechanical/molecular mechanical (QM/MM) potential energy function with HartreeFock, density functional theory (DFT), and post-HF (RIMP2, MP2, CCSD) capab...
H. Lee Woodcock III, Milan Hodoscek, Andrew T. B. ...
TOG
2008
124views more  TOG 2008»
15 years 6 months ago
Towards passive 6D reflectance field displays
Traditional flat screen displays present 2D images. 3D and 4D displays have been proposed making use of lenslet arrays to shape a fixed outgoing light field for horizontal or bidi...
Martin Fuchs, Ramesh Raskar, Hans-Peter Seidel, He...
TOSEM
2008
168views more  TOSEM 2008»
15 years 6 months ago
Developing and debugging algebraic specifications for Java classes
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...
Johannes Henkel, Christoph Reichenbach, Amer Diwan
« Prev « First page 1213 / 1578 Last » Next »