Sciweavers

2308 search results - page 26 / 462
» Categorial Semantics For LFG
Sort
View
ALPIT
2008
IEEE
15 years 1 months ago
Using Semantic Roles for Coreference Resolution
In this paper, we systematically explore the use of semantic roles in coreference resolution. Here, the semantic roles are automatically determined using a state-of-the-art SRL sy...
Fang Kong, Yancui Li, Guodong Zhou, Qiaoming Zhu, ...
AICCSA
2006
IEEE
130views Hardware» more  AICCSA 2006»
15 years 1 months ago
A Categorization Scheme for Semantic Web Search Engines
Semantic web search engines are evolving and many prototype systems and some implementation have been developed. However, there are some different views on what a semantic search e...
Kyumars Sheykh Esmaili, Hassan Abolhassani
EMSOFT
2007
Springer
15 years 6 months ago
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
Edward A. Lee, Haiyang Zheng
LPKR
1997
Springer
15 years 4 months ago
Disjunctive Logic Programming and Autoepistemic Logic
In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation. We have observed that two different typ...
Li-Yan Yuan, Jia-Huai You, Randy Goebel
FLOPS
2004
Springer
15 years 5 months ago
Semantics of Linear Continuation-Passing in Call-by-Name
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
Masahito Hasegawa