77 search results - page 5 / 16 » Generating Transition Probabilities for Automatic Model-Base... |
124
click to vote
ECOOP
2000
Springer
15 years 1 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
70
Voted
ICST
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...
IJCAI
2007
14 years 11 months ago
2007
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
DCC
1995
IEEE
15 years 1 months ago
1995
IEEE
We present a fully automatic system for 2D model-based image coding of human faces for potential applications such as video telephony, database image compression, and face recogni...
96
Voted
ML
2008
ACM
14 years 9 months ago
2008
ACM
It is well-known that heuristic search in ILP is prone to plateau phenomena. An explanation can be given after the work of Giordana and Saitta: the ILP covering test is NP-complete...