1746 search results - page 181 / 350 » A Constructive Semantics for ALC |
170
click to vote
ICMCS
2005
IEEE
16 years 3 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...
137
click to vote
ATAL
2005
Springer
16 years 1 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...
156
click to vote
CLEF
2005
Springer
16 years 1 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...
173
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
175
click to vote
MATA
2005
Springer
16 years 4 hour ago
2005
Springer
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...