1829 search results - page 13 / 366 » aims 2008 |
COLING
1992
14 years 10 months ago
1992
A description is given of the present state of development of a workstation that has been designed to provide the translator with efficient and easy-to-use computational tools. Th...
AMC
2008
14 years 9 months ago
2008
The aim of this paper is to provide alternate proofs of all the results of our previous paper [2] in the particular case when the given two matrices A1 and A2 in the linear combin...
EJC
2008
14 years 9 months ago
2008
The aim of this note is to give some factorisation formulas for different versions of the Macdonald polynomials when the parameter t is specialized at roots of unity, generalizing...
FUIN
2008
14 years 9 months ago
2008
We introduce Nuovo DRM, a digital rights management scheme aimed to provide formal and practical security. The scheme is based on a recent DRM scheme, which we formally specify in ...
FUIN
2008
14 years 9 months ago
2008
The aim of this work is to describe the translation from Intermediate Language, one of the input formalisms of the model checking platform VerICS, to timed automata with discrete d...