Sciweavers

483 search results - page 25 / 97
» Parikh Mapping and Iteration
Sort
View
FAC
2000
124views more  FAC 2000»
13 years 7 months ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman
GRAPHICSINTERFACE
2008
13 years 9 months ago
Layered variance shadow maps
Shadow maps are commonly used in real-time rendering, but they cannot be filtered linearly like standard color, resulting in severe aliasing. Variance shadow maps resolve this pro...
Andrew Lauritzen, Michael McCool
CVPR
2007
IEEE
14 years 1 months ago
Map-Enhanced UAV Image Sequence Registration and Synchronization of Multiple Image Sequences
Registering consecutive images from an airborne sensor into a mosaic is an essential tool for image analysts. Strictly local methods tend to accumulate errors, resulting in distor...
Yuping Lin, Gérard G. Medioni
ISBI
2006
IEEE
14 years 8 months ago
Automatic landmark tracking applied to optimize brain conformal mapping
Important anatomical features on the cortical surface are usually represented by landmark curves, called sulcal/gyral curves. Manual labeling of these landmark curves is time-cons...
Lok Ming Lui, Yalin Wang, Tony F. Chan, Paul M. Th...
CVPR
2006
IEEE
14 years 1 months ago
Automatic Landmark Tracking and its Application to the Optimization of Brain Conformal Mapping
Anatomical features on cortical surfaces are usually represented by landmark curves, called sulci/gyri curves. These landmark curves are important information for neuroscientists ...
Lok Ming Lui, Yalin Wang, Tony F. Chan, Paul M. Th...