Sciweavers

936 search results - page 151 / 188
» FSM-Hume is finite state
Sort
View
MICCAI
2007
Springer
16 years 7 months ago
Real-Time Synthesis of Image Slices in Deformed Tissue from Nominal Volume Images
Abstract. This paper presents a fast image synthesis procedure for elastic volumes under deformation. Given the node displacements of a mesh and the 3D image voxel data of an undef...
Orcun Goksel, Septimiu E. Salcudean
HPCA
2004
IEEE
16 years 6 months ago
Hardware Support for Prescient Instruction Prefetch
This paper proposes and evaluates hardware mechanisms for supporting prescient instruction prefetch--an approach to improving single-threaded application performance by using help...
Tor M. Aamodt, Paul Chow, Per Hammarlund, Hong Wan...
PODS
2005
ACM
99views Database» more  PODS 2005»
16 years 6 months ago
XML type checking with macro tree transducers
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
Sebastian Maneth, Alexandru Berlea, Thomas Perst, ...
DCC
2008
IEEE
16 years 5 months ago
A Lower Bound on the Redundancy of Arithmetic-Type Delay Constrained Coding
In a previous paper we derived an upper bound on the redundancy of an arithmetic-type encoder for a memoryless source, designed to meet a finite endto-end strict delay constraint....
Eado Meron, Ofer Shayevitz, Meir Feder, Ram Zamir
CC
2010
Springer
150views System Software» more  CC 2010»
16 years 1 months ago
Practical Extensions to the IFDS Algorithm
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
Nomair A. Naeem, Ondrej Lhoták, Jonathan Ro...