1471 search results - page 152 / 295 » Church: a language for generative models |
175
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
213
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
152
click to vote
COGSCI
2007
15 years 6 months ago
2007
An expression-induction model was used to simulate the evolution of basic color terms to test Berlin and Kay’s (1969) hypothesis that the typological patterns observed in basic ...
186
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
153
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
French is known to be a language with major pronunciation irregularities at word endings with consonants. Particularly, the well-known phonetic phenomenon called Liaison is one of...