1246 search results - page 188 / 250 » Recursive Timed Automata |
133
click to vote
FOIKS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema d...
139
click to vote
IJCAI
2003
15 years 3 months ago
2003
This paper proposes a dynamic model supporting multimodal state space probability distributions and presents the application of the model in dealing with visual occlusions when tr...
194
click to vote
ALC
1997
15 years 3 months ago
1997
A predicative semantics is a mapping of programs to predicates. These predicates characterize sets of acceptable observations. The presence of time in the observations makes the o...
105
click to vote
AAAI
1996
15 years 3 months ago
1996
We formalize a model for supervised learning of action strategies in dynamic stochastic domains and show that PAC-learning results on Occam algorithms hold in this model as well. W...
114
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
A novel control method is proposed for networked control systems with nonlinear process, probably non-Gaussian process noise and time delays. The performance index of closed loop c...