Sciweavers

2920 search results - page 257 / 584
» Finite information logic
Sort
View
CISS
2008
IEEE
16 years 1 months ago
Performance evaluation of error control protocols over finite-state Markovian channels
— Reliable transmission is a challenging task over wireless links because wireless channels are susceptible to noise and interference. To address this problem various error contr...
Sohraab Soltani, Hayder Radha
FBIT
2007
IEEE
16 years 1 months ago
An Efficient Soft Tissue Characterization Method for Haptic Rendering of Soft Tissue Deformation in Medical Simulation
The modeling of soft tissue behavior is essential in haptic rendering for virtual reality based medical simulators, which provide a safe and objective medium for training medical ...
Bummo Ahn, Jung Kim
INFOCOM
1997
IEEE
15 years 11 months ago
Secret Sharing in Graph-Based Prohibited Structures
A secret sharing schemefor the prohibited structure is a method of sharing a master key among a finite set of participants in such a way that only certain pre-specified subsetsof ...
Hung-Min Sun, Shiuh-Pyng Shieh
COMPSAC
1996
IEEE
15 years 11 months ago
Applying Conventional Testing Techniques for Class Testing
This paper discusses how conventional testing criteria such as branch coverage can be applied for the testing of member functions inside a class. To support such testing technique...
In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong R...
LATIN
1992
Springer
15 years 10 months ago
On Reversible Automata
A reversible automaton is a finite (possibly incomplete) automaton in which each letter induces a partial one-to-one map from the set of states into itself. We give four non-trivi...
Jean-Eric Pin