Sciweavers

4305 search results - page 457 / 861
» The Test of Time
Sort
View
LICS
2006
IEEE
16 years 27 days ago
Two-Variable Logic on Words with Data
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentic...
MIAR
2006
IEEE
16 years 27 days ago
Automatic Segmentation of the Aortic Dissection Membrane from 3D CTA Images
Acute aortic dissection is a life-threatening condition and must be diagnosed and treated promptly. For treatment planning the reliable identification of the true and false lumen ...
Tamás Kovács, Philippe C. Cattin, Ha...
SIPS
2006
IEEE
16 years 27 days ago
Low Power Trellis Decoder with Overscaled Supply Voltage
Abstract— This paper is interested in applying voltage overscaling (VOS) to reduce trellis decoder energy consumption, where the key issue is how to minimize the decoding perform...
Yang Liu, Tong Zhang, Jiang Hu
ICIP
2005
IEEE
16 years 15 days ago
Interactive 3D filter design for ultrasound artifact reduction
A method for detecting and reducing reverberation artifacts in ultrasound image sequences is described. A reverberation artifact localization map is produced using local Rf-bandwi...
Nina Eriksson Bylund, Mats T. Andersson, Hans Knut...
ICMCS
2005
IEEE
68views Multimedia» more  ICMCS 2005»
16 years 15 days ago
Playing speech backwards for classification tasks
START SPEEDUP FACTOR [C] FASTER BACKWARDS REPLAY VIA TIME COMPRESSION JUMP WIDTH s j SEGMENT LENGTH s l FASTER BACKWARDS REPLAY VIA SEGMENT DROPPING MODIFIED BACKWARDS REPLAY [B] ...
Wolfgang Hürst, Tobias Lauer, Cedric Bür...