Sciweavers

1216 search results - page 125 / 244
» Translation analysis and translation automation
Sort
View
ICCV
2001
IEEE
14 years 10 months ago
Dimensional Analysis of Image Motion
Studies of image motion typically address motion categories on a case-by-case basis. Examples include a moving point, a moving contour, or a 2D optical flow field. The typical ass...
Michael S. Langer, Richard Mann
ICPR
2006
IEEE
14 years 9 months ago
Hippocampal Surface Analysis Using Spherical Harmonic Function Applied to Surface Conformal Mapping
Using spherical harmonics of an inverse conformal map, we compared hippocampal surfaces of sixteen Alzheimer (AD) and fourteen control subjects. Hippocampal surfaces were conforma...
Boris Gutman, Yalin Wang, Lok Ming Lui, Tony F. Ch...
ICFP
2005
ACM
14 years 8 months ago
A logical analysis of aliasing in imperative higher-order functions
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
Martin Berger, Kohei Honda, Nobuko Yoshida
AINA
2007
IEEE
14 years 2 months ago
Sim-PowerCMP: A Detailed Simulator for Energy Consumption Analysis in Future Embedded CMP Architectures
Continuous improvements in integration scale have made major microprocessor vendors to move to designs that integrate several processor cores on the same chip. Chip-multiprocessor...
Antonio Flores, Juan L. Aragón, Manuel E. A...
ACSAC
2005
IEEE
14 years 1 months ago
An Integrity Verification Scheme for DNS Zone file based on Security Impact Analysis
The Domain Name System (DNS) is the world’s largest distributed computing system that performs the key function of translating user-friendly domain names to IP addresses through...
Ramaswamy Chandramouli, Scott Rose