Sciweavers

2781 search results - page 482 / 557
» System Modules
Sort
View
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 1 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
AFRIGRAPH
2001
ACM
15 years 1 months ago
A gesture processing framework for multimodal interaction in virtual reality
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...
Marc Erich Latoschik
CBMS
2001
IEEE
15 years 1 months ago
Bridging Two Biomedical Journal Databases with XML-A Case Study
For transferring data between heterogeneous databases, XML is becoming a method of choice. While deployment is generally successfully, there are barriers to overcome. A recent exa...
Glenn Pearson, Chan Moon
PADS
1998
ACM
15 years 1 months ago
GloMoSim: A Library for Parallel Simulation of Large-Scale Wireless Networks
A number of library-based parallel and sequential network simulators have been designed. This paper describes a library, called GloMoSim (for Global Mobile system Simulator), for ...
Xiang Zeng, Rajive Bagrodia, Mario Gerla
CIARP
2009
Springer
15 years 1 months ago
Robust Radio Broadcast Monitoring Using a Multi-Band Spectral Entropy Signature
Monitoring media broadcast content has deserved a lot of attention lately from both academy and industry due to the technical challenge involved and its economic importance (e.g. i...
Antonio Camarena-Ibarrola, Edgar Chávez, Er...