Sciweavers

1746 search results - page 181 / 350
» A Constructive Semantics for ALC
Sort
View
ICMCS
2005
IEEE
111views Multimedia» more  ICMCS 2005»
15 years 11 months ago
Using rhetorical annotations for generating video documentaries
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...
Stefano Bocconi, Frank Nack, Lynda Hardman
136
Voted
ATAL
2005
Springer
15 years 11 months ago
Engineering agent interactions from ACL-based reusable connectors
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...
Juan Manuel Serrano, Sascha Ossowski, Sergio Sauga...
CLEF
2005
Springer
15 years 11 months ago
The TALP-QA System for Spanish at CLEF 2005
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...
Daniel Ferrés, Samir Kanaan, Alicia Ageno, ...
FOSSACS
2005
Springer
15 years 11 months ago
Third-Order Idealized Algol with Iteration Is Decidable
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...
Andrzej S. Murawski, Igor Walukiewicz
168
Voted
MATA
2005
Springer
154views Communications» more  MATA 2005»
15 years 11 months ago
A Co-designed Hardware/Software Architecture for Augmented Materials
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...
Simon Dobson, Kieran Delaney, Kafil Mahmood Razeeb...