Sciweavers

351 search results - page 16 / 71
» Combining Semantic Wikis and Controlled Natural Language
Sort
View
CORR
2008
Springer
137views Education» more  CORR 2008»
14 years 11 months ago
Combining generic judgments with recursive definitions
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Andrew Gacek, Dale Miller, Gopalan Nadathur
EJC
2010
14 years 6 months ago
Inferencing in Database Semantics
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
Roland Hausser
ENTCS
2008
90views more  ENTCS 2008»
14 years 11 months ago
Quantum Data and Control Made Easier
In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...
Michael Lampis, Kyriakos G. Ginis, Michalis A. Pap...
CA
2003
IEEE
15 years 5 months ago
Language-Driven Nonverbal Communication in a Bilingual Conversational Agent
This paper describes an animated conversational agent called Kare1 which integrates a talking head interface with a linguistically motivated human-machine dialogue system. The age...
Scott A. King, Alistair Knott, Brendan McCane
IJCNLP
2005
Springer
15 years 5 months ago
Parsing the Penn Chinese Treebank with Semantic Knowledge
Abstract. We build a class-based selection preference sub-model to incorporate external semantic knowledge from two Chinese electronic semantic dictionaries. This sub-model is comb...
Deyi Xiong, Shuanglong Li, Qun Liu, Shouxun Lin, Y...