2796 search results - page 145 / 560 » A time structure based software reliability model |
UAI
2003
13 years 10 months ago
2003
In this paper we present a family of models and learning algorithms that can simultaneously align and cluster sets of multidimensional curves measured on a discrete time grid. Our...
LFCS
2007
Springer
14 years 3 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
BMCBI
2010
2010
KiDoQ: using docking based energy scores to develop ligand based model for predicting antibacterials
13 years 9 months ago
Background: Identification of novel drug targets and their inhibitors is a major challenge in the field of drug designing and development. Diaminopimelic acid (DAP) pathway is a u...
SPIN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
BMCBI
2006
13 years 9 months ago
2006
Background: An alternative to standard approaches to uncover biologically meaningful structures in micro array data is to treat the data as a blind source separation (BSS) problem...