9931 search results - page 372 / 1987 » Generative Modeling by PRISM |
177
click to vote
DSD
2006
IEEE
16 years 23 days ago
2006
IEEE
Recently, a number of works have been published on implementing assignment decision diagram models combined with SAT methods to address register-transfer level test pattern genera...
171
click to vote
FDL
2005
IEEE
16 years 10 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
140
click to vote
IEAAIE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
176
click to vote
ISTA
2008
15 years 8 months ago
2008
This contribution suggests a novel approach for a systematic generation of a process model in an informal environment. It is based on the claim that the knowledge about the process...
175
click to vote
ACL
1993
15 years 8 months ago
1993
We describe a generative probabilistic model of natural language, which we call HBG, that takes advantage of detailed linguistic information to resolve ambiguity. HBG incorporates...