Sciweavers

4767 search results - page 748 / 954
» Moving between Contexts
Sort
View
CODES
2003
IEEE
15 years 12 months ago
Virtual synchronization technique with OS modeling for fast and time-accurate cosimulation
Hardware/Software cosimulation is the key process to shorten the design turn around time. We have proposed a novel technique, called virtual synchronization, for fast and time acc...
Youngmin Yi, Dohyung Kim, Soonhoi Ha
FOCS
2003
IEEE
15 years 12 months ago
A Lattice Problem in Quantum NP
We consider coGapSV P√ n, a gap version of the shortest vector in a lattice problem. This problem is known to be in AM ∩coNP but is not known to be in NP or in MA. We prove th...
Dorit Aharonov, Oded Regev
ICRA
2003
IEEE
166views Robotics» more  ICRA 2003»
15 years 12 months ago
A service-based network architecture for wearable robots
We are developing a network architecture for our novel robot concept of wearable robot. Wearable robots are mobile information devices capable of supporting remote communication a...
Ka Keung Lee, Ping Zhang, Yangsheng Xu
ICRA
2003
IEEE
111views Robotics» more  ICRA 2003»
15 years 12 months ago
Fuzzy Petri nets for monitoring and recovery
- In this paper, we propose a unitary tool for modeling and analysis of discrete event systems monitoring. Uncertain knowledge of such tasks asks specific reasoning and adapted fuz...
Daniel I. Racoceanu, Eugenia Minca, Noureddine Zer...
INFOVIS
2003
IEEE
15 years 12 months ago
Design Choices when Architecting Visualizations
In this paper, we focus on some of the key design decisions we faced during the process of architecting a visualization system and present some possible choices, with their associ...
Diane Tang, Chris Stolte, Robert Bosch