Sciweavers

2632 search results - page 70 / 527
» Predictive Representations of State
Sort
View
FORTE
2008
13 years 11 months ago
Program Repair Suggestions from Graphical State-Transition Specifications
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
Farn Wang, Chih-Hong Cheng
AUSDM
2006
Springer
85views Data Mining» more  AUSDM 2006»
14 years 1 months ago
A Framework of Combining Markov Model With Association Rules for Predicting Web Page Accesses
The importance of predicting Web users' behaviour and their next movement has been recognised and discussed by many researchers lately. Association rules and Markov models ar...
Faten Khalil, Jiuyong Li, Hua Wang
TOPNOC
2008
13 years 10 months ago
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wi...
PAMI
2002
124views more  PAMI 2002»
13 years 9 months ago
Information Theoretic Sensor Data Selection for Active Object Recognition and State Estimation
We introduce a formalism for optimal sensor parameter selection for iterative state estimation in static systems. Our optimality criterion is the reduction of uncertainty in the st...
Joachim Denzler, Christopher M. Brown
ACSD
1998
IEEE
121views Hardware» more  ACSD 1998»
14 years 2 months ago
Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
Alex Kondratyev, Jordi Cortadella, Michael Kishine...