Sciweavers

351 search results - page 16 / 71
» Combining Semantic Wikis and Controlled Natural Language
Sort
View
122
Voted
CORR
2008
Springer
137views Education» more  CORR 2008»
15 years 3 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
142
Voted
EJC
2010
14 years 10 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»
15 years 3 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...
150
Voted
CA
2003
IEEE
15 years 9 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
140
Voted
IJCNLP
2005
Springer
15 years 9 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...