2048 search results - page 87 / 410 » The Tale of Two Projects - Abstract |
113
click to vote
FMICS
2008
Springer
15 years 4 months ago
2008
Springer
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...
106
click to vote
FORTE
2007
15 years 4 months ago
2007
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 ...
134
click to vote
NAACL
2007
15 years 4 months ago
2007
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...
122
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We study randomized variants of two classical algorithms: coordinate descent for systems of linear equations and iterated projections for systems of linear inequalities. Expanding...
115
click to vote
FFA
2008
15 years 3 months ago
2008
A projective plane is called a translation plane if there exists a line L such that the group of elations with axis L acts transitively on the points not on L. A translation plane...