438 search results - page 34 / 88 » Generating VHDL models from natural language descriptions |
120
click to vote
KR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
140
click to vote
SBMF
2010
Springer
14 years 6 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
ALT
2003
Springer
15 years 8 months ago
2003
Springer
A pattern is a finite string of constant and variable symbols. The erasing language generated by a pattern p is the set of all strings that can be obtained by substituting (possib...
INLG
2010
Springer
14 years 9 months ago
2010
Springer
In this paper, we propose a general way of constructing an NLG system that permits the systematic exploration of the effects of particular system choices on output quality. We cal...
EACL
2006
ACL Anthology
15 years 1 months ago
2006
ACL Anthology
We describe an implementation of datadriven selection of emphatic facial displays for an embodied conversational agent in a dialogue system. A corpus of sentences in the domain of...