1992 search results - page 62 / 399 » Model Based Testing with Labelled Transition Systems |
127
Voted
TGC
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
LREC
2008
15 years 3 months ago
2008
In order to improve the flexibility and the precision of an automatic phone segmentation system for a type of expressive speech, the dubbing into French of fiction movies, we deve...
125
Voted
BPM
2006
Springer
15 years 4 months ago
2006
Springer
The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications
COLING
1996
15 years 3 months ago
1996
Preparation, recording, segmentation and pitch labelling of Slovenian diphone inventories are described. A special user friendly intert'ace package was developed in order to ...
129
click to vote
NLE
2008
15 years 2 months ago
2008
Being able to identify which rhetorical relations (e.g., contrast or explanation) hold between spans of text is important for many natural language processing applications. Using ...