2042 search results - page 35 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
ECRTS
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper presents a probabilistic approach to guarantee the performance of a real-time system. While traditional real-time system analysis tends to guarantee that each task inst...
IANDC
2006
13 years 7 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
BMVC
2010
13 years 5 months ago
2010
This paper introduces a novel probabilistic activity modeling approach that mines recurrent sequential patterns from documents given as word-time occurrences. In this model, docum...
SIGIR
2003
ACM
14 years 26 days ago
2003
ACM
Collaborative filtering aims at learning predictive models of user preferences, interests or behavior from community data, i.e. a database of available user preferences. In this ...
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
This paper addresses the challenge of recognizing behavior of groups of individuals in unconstraint surveillance environments. As opposed to approaches that rely on agglomerative ...