4212 search results - page 175 / 843 » Rights Expression Languages |
193
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...
188
click to vote
DAIS
2010
15 years 8 months ago
2010
The growing needs in computational power to answer to the increasing number of on-line services and the complexity of applications makes it mandatory to build corresponding hardwar...
134
click to vote
ACL
2006
15 years 7 months ago
2006
Natural Language Generation (NLG) is a way to automatically realize a correct expression in response to a communicative goal. This technology is mainly explored in the fields of m...
158
click to vote
ACL
2003
15 years 7 months ago
2003
Pipelined Natural Language Generation (NLG) systems have grown increasingly complex as architectural modules were added to support language functionalities such as referring expre...
304
click to vote
ENTCS
2006
15 years 6 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...