Sciweavers

19320 search results - page 252 / 3864
» On the complexity of computing determinants
Sort
View
FSTTCS
2004
Springer
16 years 13 hour ago
Testing Geometric Convexity
We consider the problem of determining whether a given set S in Rn is approximately convex, i.e., if there is a convex set K ∈ Rn such that the volume of their symmetric differe...
Luis Rademacher, Santosh Vempala
ICCS
2004
Springer
16 years 7 hour ago
Cache Oblivious Matrix Transposition: Simulation and Experiment
A cache oblivious matrix transposition algorithm is implemented and analyzed using simulation and hardware performance counters. Contrary to its name, the cache oblivious matrix tr...
D. Tsifakis, Alistair P. Rendell, Peter E. Strazdi...
VR
2003
IEEE
138views Virtual Reality» more  VR 2003»
15 years 12 months ago
Adaptive techniques for real-time haptic and visual simulation of bone dissection
Bone dissection is an important component of many surgical procedures. In this paper, we discuss adaptive techniques for providing real-time haptic and visual feedback during a vi...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...
ICIP
2000
IEEE
15 years 11 months ago
Wavelet-Based Image Denoising Using Hidden Markov Models
Wavelet-domain hidden Markov models (HMMs) have been recently proposed and applied to image processing, e.g., image denoising. In this paper, we develop a new HMM, called local co...
Guoliang Fan, Xiang-Gen Xia
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
15 years 11 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...