1216 search results - page 77 / 244 » Translation analysis and translation automation |
IJCSA
2006
13 years 8 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
MT
2000
13 years 8 months ago
2000
Spoken language, especially spoken German, is rich in particles that do not contribute to the propositional content of utterances, but play important roles in steering the flow of ...
CVIU
2008
13 years 7 months ago
2008
The estimation of parametric global motion is one of the cornerstones of computer vision. Such schemes are able to estimate various motion models (translation, rotation, affine, p...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
CAV
2008
Springer
13 years 10 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...