83 search results - page 15 / 17 » An HDP-HMM for systems with state persistence |
ATVA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
101
click to vote
TRECVID
2008
14 years 11 months ago
2008
This paper presents the systems and results for the Event Detection task of the TRECVid 2008 evaluation campaign. The kind of events addressed are single-actor, without requiring ...
IJCAI
1989
14 years 10 months ago
1989
We extend qualitative reasoning with estimations of the relative likelihoods of the pos sible qualitative behaviors . We estimate the likelihoods by viewing the dynamics o f a sys...
119
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: Phyloinformatic analyses involve large amounts of data and metadata of complex structure. Collecting, processing, analyzing, visualizing and summarizing these data and...
NSDI
2004
14 years 11 months ago
2004
This paper describes TimeLine, an efficient archive service for a distributed storage system. TimeLine allows users to take snapshots on demand. The archive is stored online so th...