160 search results - page 27 / 32 » Probabilistic Model Checking and Reliability of Results |
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
A novel method for crowd flow modeling and anomaly detection is proposed for both coherent and incoherent scenes. The novelty is revealed in three aspects. First, it is a unique ut...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
PST
2008
13 years 10 months ago
2008
Can we trust without any reliable truth information? Most trust architectures work in a similar way: a trustor makes some observations, rates the trustee, and makes recommendations...
ACOM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Although several approaches to the semantics of agent communication have been proposed, none of them is really suitable for dealing with agent autonomy, which is a decisi...
ICASSP
2009
IEEE
13 years 6 months ago
2009
IEEE
In the context of spoken language interpretation, this paper introduces a stochastic approach to infer and compose semantic structures. Semantic frame structures are directly deri...