Sciweavers

483 search results - page 25 / 97
» Parikh Mapping and Iteration
Sort
View
FAC
2000
124views more  FAC 2000»
15 years 19 days 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
145
Voted
GRAPHICSINTERFACE
2008
15 years 2 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
90
Voted
CVPR
2007
IEEE
15 years 7 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
123
Voted
ISBI
2006
IEEE
16 years 1 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
15 years 6 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...