4332 search results - page 62 / 867 » A Probabilistic Identification Result |
BMCBI
2008
13 years 7 months ago
2008
Background: The rapid growth of biomedical literature presents challenges for automatic text processing, and one of the challenges is abbreviation identification. The presence of ...
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper describes a method of probabilistic obstacle map building based on Bayesian estimation. Most active or passive obstacle sensors observe only the most frontal objects...
ATVA
2005
Springer
14 years 1 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
IJCNN
2000
IEEE
14 years 1 days ago
2000
IEEE
The transition to democracy in South Africa has brought with it certain challenges. The main challenge is to get rid of crime and corruption.This paper presents a technique to com...