9931 search results - page 188 / 1987 » Generative Modeling by PRISM |
131
click to vote
WSC
2007
15 years 6 months ago
2007
It is well known that trivariate reduction — a method to generate two dependent random variables from three independent random variables — can be used to generate Poisson rand...
225
click to vote
IBERAMIA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In Natural Language Generation (NLG) systems, a generalpurpose surface realisation module will usually require the underlying application to provide highly detailed input...
115
click to vote
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
125
click to vote
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
123
click to vote
IJCNLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Lexical Conceptual Structure (LCS) represents verbs as semantic structures with a limited number of semantic predicates. This paper attempts to exploit how LCS can be use...