2467 search results - page 423 / 494 » Finite State Machines |
158
click to vote
ICTAC
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
135
click to vote
ISVC
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. Linear systems and eigen-calculations on symmetric diagonally dominant matrices (SDDs) occur ubiquitously in computer vision, computer graphics, and machine learning. In ...
132
click to vote
ROBOCUP
2009
Springer
16 years 8 days ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
140
click to vote
ISSTA
2009
ACM
16 years 7 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
173
click to vote
DATE
2008
IEEE
16 years 5 days ago
2008
IEEE
- The effectiveness of stochastic power management relies on the accurate system and workload model and effective policy optimization. Workload modeling is a machine learning proce...