1001 search results - page 140 / 201 » Generating Application-Specific Benchmark Models for Complex... |
JCDL
2003
ACM
14 years 1 months ago
2003
ACM
The increasing power of techniques to model complex geometry and extract meaning from 3D information create complex data that must be described, stored, and displayed to be useful...
JAR
2000
13 years 8 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
BMCBI
2004
13 years 8 months ago
2004
Background: The increasing number of protein sequences and 3D structure obtained from genomic initiatives is leading many of us to focus on proteomics, and to dedicate our experim...
CIBCB
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— This paper presents a parametric model to estimate the DNA-protein binding time using the DNA and protein structures and details of the binding site. To understand the ...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Basically, instrumental conditioning is learning through consequences: Behavior that produces positive results (high “instrumental response”) is reinforced, and that which pro...