Sciweavers

1249 search results - page 68 / 250
» State Machine Modeling: From Synch States to Synchronized St...
Sort
View
INTERSPEECH
2010
13 years 3 months ago
Still talking to machines (cognitively speaking)
This overview article reviews the structure of a fully statistical spoken dialogue system (SDS), using as illustration, various systems and components built at Cambridge over the ...
Steve Young
ICECCS
1997
IEEE
125views Hardware» more  ICECCS 1997»
14 years 1 months ago
Client--Access Protocols for Replicated Services
The paper addresses the problem of client–service interaction in the case of replicated service provision. Existing systems that follow the State Machine approach concentrate on...
Christos T. Karamanolis, Jeff Magee
DSN
2002
IEEE
14 years 2 months ago
Model Checking Safety Properties of Servo-Loop Control Systems
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
M. Edwin Johnson
CLA
2007
13 years 10 months ago
Policies Generalization in Reinforcement Learning using Galois Partitions Lattices
The generalization of policies in reinforcement learning is a main issue, both from the theoretical model point of view and for their applicability. However, generalizing from a se...
Marc Ricordeau, Michel Liquiere
APSEC
2007
IEEE
14 years 3 months ago
E-AoSAS++ and its Software Development Environment
E-AoSAS++ is an aspect-oriented software architecture style for embedded software. It basically gives the style in which a set of state transition machines organizes a software. W...
Masami Noro, Atsushi Sawada, Yoshinari Hachisu, Ma...