2632 search results - page 252 / 527 » Predictive Representations of State |
149
click to vote
JAIR
2006
15 years 6 months ago
2006
Logical hidden Markov models (LOHMMs) upgrade traditional hidden Markov models to deal with sequences of structured symbols in the form of logical atoms, rather than flat characte...
173
click to vote
DEDS
2007
15 years 6 months ago
2007
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...
166
click to vote
DLT
2009
15 years 4 months ago
2009
Abstract. We analyze Hmelevskii's theorem, which states that the general solutions of constant-free equations on three unknowns are expressible by a finite collection of formu...
173
click to vote
IJPRAI
2010
15 years 3 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
158
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Software engineering researchers have long been interested in where and why bugs occur in code, and in predicting where they might turn up next. Historical bug-occurence data has ...