Sciweavers

360 search results - page 25 / 72
» The Origins of the Translator's Workstation
Sort
View
FSEN
2009
Springer
14 years 3 months ago
A Safe Implementation of Dynamic Overloading in Java-Like Languages
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
Lorenzo Bettini, Sara Capecchi, Betti Venneri
ICC
2008
IEEE
123views Communications» more  ICC 2008»
14 years 3 months ago
Providing End-to-End Connectivity to SIP User Agents Behind NATs
— The widespread diffusion of private networks in SOHO scenarios is fostering an increased deployment of Network Address Translators (NATs). The presence of NATs seriously limits...
Mario Baldi, Luca De Marco, Fulvio Risso, Livio To...
APLAS
2004
ACM
14 years 2 months ago
A MATLAB-Based Code Generator for Sparse Matrix Computations
Abstract. We present a matrix language compiler CMC which translates annotated MATLAB scripts into Fortran 90 programs. Distinguishing features of CMC include its applicability to ...
Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamu...
CLEF
2003
Springer
14 years 2 months ago
The CLEF 2003 Cross-Language Spoken Document Retrieval Track
The current expansion in collections of natural language based digital documents in various media and languages is creating challenging opportunities for automatically accessing t...
Marcello Federico, Gareth J. F. Jones
SIGSOFT
2000
ACM
14 years 1 months ago
Automating first-order relational logic
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
Daniel Jackson