Sciweavers

3694 search results - page 248 / 739
» Stochastic complexity in learning
Sort
View
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 11 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ICCSA
2004
Springer
15 years 11 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
ICCV
2003
IEEE
15 years 11 months ago
Markov-Based Failure Prediction for Human Motion Analysis
This paper presents a new method of detecting and predicting motion tracking failures with applications in human motion and gait analysis. We define a tracking failure as an event...
Shiloh L. Dockstader, Nikita S. Imennov, A. Murat ...
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