Sciweavers

1313 search results - page 161 / 263
» Data Discretization Unification
Sort
View
VR
2002
IEEE
125views Virtual Reality» more  VR 2002»
14 years 3 months ago
Real-Time Haptic and Visual Simulation of Bone Dissection
—Bone dissection is an important component of many surgical procedures. In this paper, we discuss a haptic and visual implementation of a bone cutting burr, that it is being deve...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...
CDC
2009
IEEE
115views Control Systems» more  CDC 2009»
14 years 2 months ago
Qualitative diagnosability of labeled petri nets revisited
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...
Stefan Haar
IPPS
1999
IEEE
14 years 2 months ago
An Object-Oriented Environment for Sparse Parallel Computation on Adaptive Grids
Many numerical solutions of large scale simulation models require finer discretizations in some regions of the computational grid. When this region is not known in advance, adapti...
Salvatore Filippone, Michele Colajanni, Dario Pasc...
ISCAS
1999
IEEE
87views Hardware» more  ISCAS 1999»
14 years 2 months ago
Asymptotical optimality of DFT based DMT transceivers
The DMT (discrete multitone modulation) technique has been widely applied to data transmission over fading channels of twisted pairs. It has been shown that the DMT system with id...
Yuan-Pei Lin, See-May Phoong
FM
1999
Springer
97views Formal Methods» more  FM 1999»
14 years 2 months ago
Sensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
Brendan P. Mahony, Jin Song Dong