Sciweavers

2274 search results - page 95 / 455
» A Tale of Two Projects
Sort
View
122
Voted
AUIC
2004
IEEE
15 years 7 months ago
'Powerpoint to the People': Suiting the Word to the Audience
A computerised system supporting public presentations that are "personalised" at two levels is now possible. Firstly, the system exploits context information to adapt th...
René Hexel, Chris Johnson, Bob Kummerfeld, ...
111
Voted
GC
2004
Springer
15 years 7 months ago
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
115
Voted
FMICS
2008
Springer
15 years 5 months ago
Using CSP||B Components: Application to a Platoon of Vehicles
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Je...
FORTE
2007
15 years 5 months ago
Event Correlation with Boxed Pomsets
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
Thomas Gazagnaire, Loïc Hélouët
139
Voted
NAACL
2007
15 years 5 months ago
Analysis and System Combination of Phrase- and N-Gram-Based Statistical Machine Translation Systems
In the framework of the Tc-Star project, we analyze and propose a combination of two Statistical Machine Translation systems: a phrase-based and an N-gram-based one. The exhaustiv...
Marta R. Costa-Jussà, Josep Maria Crego, Da...