Sciweavers

2626 search results - page 213 / 526
» The complexity of stochastic sequences
Sort
View
ICCSA
2004
Springer
15 years 12 months ago
High Throughput in-silico Screening against Flexible Protein Receptors
We report results for the in-silico screening of a database of 10000 flexible compounds against various crystal structures of the thymidine kinase receptor complexed with 10 know...
Holger Merlitz, Wolfgang Wenzel
COCO
2003
Springer
102views Algorithms» more  COCO 2003»
15 years 11 months ago
Memoization and DPLL: Formula Caching Proof Systems
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
Paul Beame, Russell Impagliazzo, Toniann Pitassi, ...
HICSS
2002
IEEE
95views Biometrics» more  HICSS 2002»
15 years 11 months ago
Simulation Spectrum and Stability Models
In this paper, we define a continuum of modeling styles, ranging from collections of very simple agents on one end to collections of very complex agents at the other end, and a s...
Christopher Landauer
DSN
2000
IEEE
15 years 11 months ago
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna,...
KR
1989
Springer
15 years 10 months ago
Situated Control Rules
In this work we extend the work of Dean, Kaelbling, Kirman and Nicholson on planning under time constraints in stochastic domains to handle more complicated scheduling problems. I...
Mark Drummond