4228 search results - page 381 / 846 » Models and Methods in Comparative Genomics |
184
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
184
Voted
BMVC
2002
15 years 9 months ago
2002
The main purpose of this research is to develop methods for automatic identification of biological specimens in digital photographs and drawings held in a database. Incorporation ...
191
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Background modeling plays an important role in video surveillance, yet in complex scenes it is still a challenging problem. Among many difficulties, problems caused by illuminatio...
176
click to vote
IJCAI
2003
15 years 8 months ago
2003
Conventional methods used for the interpretation of activation data provided by functional neuroimaging techniques provide useful insights on what the networks of cerebral structu...
142
click to vote
AAAI
1998
15 years 8 months ago
1998
We present a noisy-OR Bayesian network model for simulation-based training, and an efficient search-based algorithm for automatic synthesis of plausible training scenarios from co...