1981 search results - page 171 / 397 » Model-Checking Hierarchical Structures |
JCDL
2006
ACM
15 years 4 months ago
2006
ACM
A number of projects are creating searchable digital libraries of printed books. These include the Million Book Project, the Google Book project and similar efforts from Yahoo an...
77
Voted
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of...
103
Voted
AUSAI
2008
Springer
15 years 6 days ago
2008
Springer
In recent years, there has been a cross-fertilization of ideas between computational neuroscience models of the operation of the neocortex and artificial intelligence models of mac...
77
Voted
BMCBI
2007
14 years 10 months ago
2007
Background: When aligning several hundreds or thousands of sequences, such as epidemic virus sequences or homologous/orthologous sequences of some big gene families, to reconstruc...
114
click to vote
BMCBI
2008
14 years 10 months ago
2008
Background: Identification of differentially expressed genes is a typical objective when analyzing gene expression data. Recently, Bayesian hierarchical models have become increas...