247 search results - page 44 / 50 » Perspectives in Probabilistic Verification |
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
The missing of an appropriate semantics of agent communication languages is one of the most challenging issues of contemporary AI. Although several approaches to this problem exis...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract- Procurement, i.e., the process of obtaining materials or services and managing their inflow into organizations, is a critical process in supply chain management. Internet...
BICOB
2010
Springer
14 years 2 months ago
2010
Springer
Most existing approaches for gene selection are based on evaluating the statistical relevance. However, there are remarkable discrepancies between statistical relevance and biolog...
NIPS
2008
13 years 11 months ago
2008
Uncertainty is omnipresent when we perceive or interact with our environment, and the Bayesian framework provides computational methods for dealing with it. Mathematical models fo...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
In using image analysis to assist a driver to avoid obstacles on the road, traditional approaches rely on various detectors designed to detect different types of objects. We propo...