4460 search results - page 872 / 892 » Formal methods for interactive systems |
BMCBI
2007
13 years 7 months ago
2007
Background: Much recent work in bioinformatics has focused on the inference of various types of biological networks, representing gene regulation, metabolic processes, protein-pro...
IJAR
2002
13 years 7 months ago
2002
The usual methods of applying Bayesian networks to the modeling of temporal processes, such as Dean and Kanazawa's dynamic Bayesian networks (DBNs), consist in discretizing t...
PAA
2007
13 years 7 months ago
2007
Feature selection methods are often used to determine a small set of informative features that guarantee good classification results. Such procedures usually consist of two compon...
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
Recognizing human action in non-instrumented video is a challenging task not only because of the variability produced by general scene factors like illumination, background, occlu...
BMCBI
2011
13 years 2 months ago
2011
Background: Phyloinformatic analyses involve large amounts of data and metadata of complex structure. Collecting, processing, analyzing, visualizing and summarizing these data and...