488 search results - page 50 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
117
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Experimental analysis of networks of cooperative learning agents (to verify certain properties such as the system's stability) has been commonly used due to the complexity of...
140
click to vote
SOFTWARE
2002
15 years 2 months ago
2002
We consider the problem of characterisation of sequences of heterogeneous symbolic data that arise from a common underlying temporal pattern. The data, which are subject to impreci...
171
Voted
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
This paper deals with estimation of dense optical flow
and ego-motion in a generalized imaging system by exploiting
probabilistic linear subspace constraints on the flow.
We dea...
123
Voted
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
This paper proposes a novel approach to constructing a hierarchical representation of visual input that aims to enable recognition and detection of a large number of object catego...
123
click to vote
ACMICEC
2007
ACM
15 years 6 months ago
2007
ACM
Recommender systems are intelligent E-commerce applications that assist users in a decision-making process by offering personalized product recommendations during an interaction s...