2944 search results - page 280 / 589 » Robust Semantic Construction |
147
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
150
click to vote
ISVC
2007
Springer
16 years 27 days ago
2007
Springer
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
177
Voted
ICMCS
2005
IEEE
16 years 11 days ago
2005
IEEE
We use rhetorical annotations to specify a generation process that can assemble meaningful video sequences with a communicative goal and an argumentative progression. Our annotati...
141
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
This paper reports on the RICA−J multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the R...
159
click to vote
CLEF
2005
Springer
16 years 9 days ago
2005
Springer
This paper describes the TALP-QA system in the context of the CLEF 2005 Spanish Monolingual Question Answering (QA) evaluation task. TALP-QA is a multilingual open-domain QA system...