Sciweavers

CAD
2008
Springer
13 years 4 months ago
On validating STEP product data exchange
Product data exchange requires exchanging geometrical shape data that may have to be represented differently in the sending and in the receiving system. Since the translation proc...
Alexandr Kuzminykh, Christoph Hoffmann
ACL
1998
13 years 5 months ago
A Simple Hybrid Aligner for Generating Lexical Correspondences in Parallel Texts
We present an algorithm for bilingual word alignment that extends previous work by treating multi-word candidates on a par with single words, and combining some simple assumptions...
Lars Ahrenberg, Mikael Andersson, Magnus Merkel
COORDINATION
2006
Springer
13 years 8 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
AGTIVE
1999
Springer
13 years 8 months ago
Creating Semantic Representations of Diagrams
Abstract. Diagrams that serve as a visual input facility for programming environments have to be translated into some kind of semantic description. This paper describes such a meth...
Mark Minas