1992 search results - page 301 / 399 » Model Based Testing with Labelled Transition Systems |
154
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
This paper describes a statistically motivated framework for performing real-time dialogue state updates and policy learning in a spoken dialogue system. The framework is based on...
157
click to vote
MOBISYS
2009
ACM
16 years 3 months ago
2009
ACM
PEIR, the Personal Environmental Impact Report, is a participatory sensing application that uses location data sampled from everyday mobile phones to calculate personalized estima...
139
click to vote
LATA
2009
Springer
15 years 10 months ago
2009
Springer
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...
127
Voted
AMC
2007
15 years 3 months ago
2007
This paper presents an integrated framework for assessment and ranking of manufacturing systems based on management and organizational performance indicators. The integrated appro...
154
click to vote
AH
2008
Springer
15 years 9 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...