Sciweavers

263 search results - page 27 / 53
» Discrete Symbol Calculus
Sort
View
ECAI
2010
Springer
13 years 8 months ago
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
Jens Claßen, Gerhard Lakemeyer
KI
2010
Springer
13 years 2 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
DEXA
2006
Springer
143views Database» more  DEXA 2006»
13 years 11 months ago
Multivariate Stream Data Classification Using Simple Text Classifiers
We introduce a classification framework for continuous multivariate stream data. The proposed approach works in two steps. In the preprocessing step, it takes as input a sliding wi...
Sungbo Seo, Jaewoo Kang, Dongwon Lee, Keun Ho Ryu
ENC
2004
IEEE
13 years 11 months ago
Feature Selection for Visual Gesture Recognition Using Hidden Markov Models
Hidden Markov models have become the preferred technique for visual recognition of human gestures. However, the recognition rate depends on the set of visual features used, and al...
José Antonio Montero, Luis Enrique Sucar
EUSFLAT
2003
152views Fuzzy Logic» more  EUSFLAT 2003»
13 years 9 months ago
Bayesian networks for continuous values and uncertainty in the learning process
This paper proposes a method for Bayesian networks that handles uncertainty and discretization of continuous variables when learning the networks from a database of cases. The dat...
J. F. Baldwin, E. Di Tomaso