141 search results - page 18 / 29 » A type system for certified binaries |
VLSID
2005
IEEE
14 years 8 months ago
2005
IEEE
Java is increasingly being used as a language and binary format for low power, embedded systems. Current software only approaches to Java execution do not always suit the type of ...
CIVR
2004
Springer
14 years 1 months ago
2004
Springer
In content-based image retrieval (CBIR), the images in a database are indexed on the basis of low-level statistical features that can be automatically derived from the images. Due ...
WSC
2007
13 years 10 months ago
2007
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
ENTCS
2007
13 years 7 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
ACL
2010
13 years 5 months ago
2010
We propose a translation recommendation framework to integrate Statistical Machine Translation (SMT) output with Translation Memory (TM) systems. The framework recommends SMT outp...