1753 search results - page 259 / 351 » State Machines |
85
Voted
ICTAC
2009
Springer
15 years 4 months 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...
ROBOCUP
2009
Springer
15 years 4 months 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...
ISSTA
2009
ACM
15 years 4 months 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...
94
Voted
ICMCS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a novel approach to automatically identify characters in films using audio visual cues and text analysis. The approach consists of three stages: (i) frontal f...
84
Voted
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—The deployment of multimedia services in nextgeneration networks is a challenge due to the high configuration complexity of the streaming process in different stationary...