Sciweavers

15614 search results - page 392 / 3123
» The State of State
Sort
View
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 10 months ago
Optimal filtering for uncertain linear stochastic systems
— This paper presents the optimal joint filtering and parameter identification problem for uncertain linear stochastic systems with unknown parameters in both state and observa...
Michael V. Basin, Alexander G. Loukianov, Miguel H...
PTS
2008
109views Hardware» more  PTS 2008»
15 years 8 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
FMCO
2003
Springer
144views Formal Methods» more  FMCO 2003»
16 years 22 hour ago
Semantic Essence of AsmL
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
IJCAI
2003
15 years 8 months ago
Logical Filtering
Filtering denotes any method whereby an agent updates its belief state—its knowledge of the state of the world—from a sequence of actions and observations. In logical filterin...
Eyal Amir, Stuart J. Russell
ICDM
2002
IEEE
111views Data Mining» more  ICDM 2002»
15 years 11 months ago
An Algebraic Approach to Data Mining: Some Examples
In this paper, we introduce an algebraic approach to the foundations of data mining. Our approach is based upon two algebras of functions de ned over a common state space X and a ...
Robert L. Grossman, Richard G. Larson