1186 search results - page 224 / 238 » Analysis of Virtual Workspaces |
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
— Research has shown substantial reductions in the oxides of nitrogen (NOx) concentrations by using 10% to 25% exhaust gas recirculation (EGR) in spark ignition (SI) engines [1]....
AFRIGRAPH
2006
ACM
14 years 2 months ago
2006
ACM
Volume data is usually generated by measuring devices (eg. CT scanners, MRI scanners), mathematical functions (eg., Marschner/Lobb function), or by simulations. While all these so...
APLAS
2006
ACM
14 years 2 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
ASSETS
2006
ACM
14 years 2 months ago
2006
ACM
In previous work we have presented a prototype of an assistant system for the blind that can be used for self-localization and interactive object identification of static objects ...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
Previous object code compression schemes have employed static and semiadaptive compression algorithms to reduce the size of instruction memory in embedded systems. The suggestion ...