3031 search results - page 254 / 607 » Model Driven Testing Based on Test History |
132
click to vote
NLPRS
2001
Springer
15 years 9 months ago
2001
Springer
This paper proposes a new prosodic phrasing model for Chinese text-tospeech systems. First, in contrast to the commonly used CART techniques, we propose a new inductive learning a...
187
click to vote
CISM
1993
15 years 8 months ago
1993
The weak instance model is a framework to consider the relations in a database as a whole, regardless of the way attributes are grouped in the individual relations. Queries and upd...
113
click to vote
WSC
2008
15 years 7 months ago
2008
One of the most important challenges for mining engineers is to correctly analyze and generate short-term planning schedules, or simply month mining plan. The objective is to demo...
134
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
171
click to vote
ENTCS
2006
15 years 4 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...