1186 search results - page 224 / 238 » Analysis of Virtual Workspaces |
161
Voted
IJCNN
2006
IEEE
16 years 12 days 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]....
144
Voted
AFRIGRAPH
2006
ACM
16 years 10 days 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...
168
click to vote
APLAS
2006
ACM
16 years 10 days 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...
221
Voted
ASSETS
2006
ACM
16 years 10 days 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 ...
174
Voted
CASES
2006
ACM
16 years 10 days 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 ...