1992 search results - page 354 / 399 » Model Based Testing with Labelled Transition Systems |
158
Voted
AI
2004
Springer
15 years 2 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
122
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
110
click to vote
SIGMOD
2008
ACM
15 years 2 months ago
2008
ACM
The presence of encyclopedic Web sources, such as Wikipedia, the Internet Movie Database (IMDB), World Factbook, etc. calls for new querying techniques that are simple and yet mor...
123
Voted
TASLP
2010
14 years 9 months ago
2010
We present an approach to music identification based on weighted finite-state transducers and Gaussian mixture models, inspired by techniques used in large-vocabulary speech recogn...
125
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...