Sciweavers

595 search results - page 70 / 119
» Predictive State Representations with State Space Partitioni...
Sort
View
CAISE
2007
Springer
15 years 5 months ago
Error Metrics for Business Process Models
Little research has been conducted so far on causes for errors in business process models. In this paper we investigate on how mainly domain independent factors such as the size or...
Jan Mendling, Gustaf Neumann
62
Voted
ICML
2004
IEEE
15 years 11 months ago
Relational sequential inference with reliable observations
We present a trainable sequential-inference technique for processes with large state and observation spaces and relational structure. Our method assumes "reliable observation...
Alan Fern, Robert Givan
NIPS
2001
15 years 8 days ago
KLD-Sampling: Adaptive Particle Filters
Over the last years, particle filters have been applied with great success to a variety of state estimation problems. We present a statistical approach to increasing the efficienc...
Dieter Fox
ECAI
2010
Springer
14 years 9 months ago
A Hybrid Continuous Max-Sum Algorithm for Decentralised Coordination
Abstract. In this paper we tackle the problem of coordinating multiple decentralised agents with continuous state variables. Specifically we propose a hybrid approach, which combin...
Thomas Voice, Ruben Stranders, Alex Rogers, Nichol...
98
Voted
ISSTA
1998
ACM
15 years 3 months ago
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
Tevfik Bultan, Richard Gerber, Christopher League