Like real general-purpose processors, Java Virtual Machines (JVMs) need hardware acceleration for computationally intensive applications. JVMs however require that platform independence can be maintained while resorting to hardware acceleration. To this end, we invented a scheme to seamlessly add hardware support to Sun’s HotSpot JVM. By means of run-time profiling, we select the most heavily u...

In this paper, we present a method of improving the accuracy of machine translation evaluation of Czech sentences. Given a reference sentence, our algorithm transforms it by targeted paraphrasing into a new synthetic reference sentence that is closer in wording to the machine translation output, but at the same time preserves the meaning of the original reference sentence. Grammatical correctne...

This paper implements an open source multi-dictionary parallel-translation machine using the Python programming language. The implementation parallelizes the translations of English words into three different languages (German, Ibibio and French). The research model has adaptability for n-languages, which could be implemented by adding n-process threads to the current design and building ndicti...

The aging population is growing and innovative solutions are needed to address older adults’ complex health needs while concurrently extending the reach of the nurse. One emerging solution is the healthassistive smart home. The smart home uses ambient sensors to monitor the movement of older adults and intelligent algorithms to detect changes in health states. Alerts are provided to patients, f...

A complexity model based on the λ-calculus with an appropriate operational semantics in presented and related to various parallel machine models, including the PRAM and hypercube models. The model is used to study parallel algorithms in the context of “sequential” functional languages, and to relate these results to algorithms designed directly for parallel machine models. For example, the pape...

A dense temporal logic development method for the specification, refinement, composition and verification of reactive systems is introduced. A reactive system is specified by a pair consisting of a machine and a condition that indicate the valid computations of this machine. Compositionality is achieved by adding to each machine step whether it is a environment, system or communication step. Re...

Recent developments have demonstrated deep models to be very powerful generative models which are able to extract features automatically and obtain high predictive performance. Typically, a building block of a deep architecture is Restricted Boltzmann Machine (RBM). In this work, we focus on a variant of RBM adopted to the classification setting, which is known as Classification Restricted Bolt...

After a considerable hiatus of interest and funding, machine translation has come in recent years to occupy a significant place in the discipline of natural language processing. It has also become one of the most visible representations of natural language processing to the outside world. Machine translation systems are relatively unique with respect to the extent of the coverage they at tempt ...