890 search results - page 57 / 178 » Comparative expert reviews |
101
Voted
MVA
2008
15 years 22 days ago
2008
The problem of automated visual surveillance has spawned a lively research area, with 2005 seeing three conferences or workshops and special issues of two major journals devoted to...
120
Voted
ICCD
2000
IEEE
15 years 4 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
109
Voted
BMCBI
2005
15 years 21 days ago
2005
Background: Two of the main objectives of the genomic and post-genomic era are to structurally and functionally annotate genomes which consists of detecting genes' position a...
103
Voted
EXPERT
1998
15 years 14 days ago
1998
This article illustrates the complexities of real-world planning and how we can create AI planning systems to address them. We describe the IMACS Project (Interactive Manufacturab...
100
Voted
PIMRC
2008
IEEE
15 years 7 months ago
2008
IEEE
—We consider the Bayesian inference of a random Gaussian vector in a linear model with a random Gaussian matrix. We review two approaches to finding the MAP estimator for this m...