9110 search results - page 373 / 1822 » Formally-Based Design Evaluation |
157
click to vote
FLAIRS
1998
15 years 8 months ago
1998
Reinforcement learning (RL) problems constitute an important class of learning and control problems faced by artificial intelligence systems. In these problems, one is faced with ...
186
click to vote
BMCBI
2010
2010
Orientation-dependent backbone-only residue pair scoring functions for fixed backbone protein design
15 years 6 months ago
Background: Empirical scoring functions have proven useful in protein structure modeling. Most such scoring functions depend on protein side chain conformations. However, backbone...
206
click to vote
TOMACS
1998
15 years 6 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...
197
click to vote
COMCOM
2007
15 years 6 months ago
2007
Distributed wireless sensor networks have problems on detecting and preventing malicious nodes, which always bring destructive threats and compromise multiple sensor nodes. Theref...
180
click to vote
RECONFIG
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The main challenge when implementing cryptographic algorithms in hardware is to protect them against attacks that target directly the device. Two strategies are customar...