Sciweavers

613 search results - page 54 / 123
» Observability of Linear Hybrid Systems
Sort
View
EDUTAINMENT
2007
Springer
15 years 6 months ago
A Hybrid of Plot-Based and Character-Based Interactive Storytelling
Interactive storytelling in the virtual environment attracts a lot of research interests in recent years. Story plot and character are two most important elements of a story. Based...
Yundong Cai, Chunyan Miao, Ah-Hwee Tan, Zhiqi Shen
OPODIS
2003
15 years 1 months ago
Linear Time Byzantine Self-Stabilizing Clock Synchronization
Awareness of the need for robustness in distributed systems increases as distributed systems become an integral part of day-to-day systems. Tolerating Byzantine faults and possessi...
Ariel Daliot, Danny Dolev, Hanna Parnas
FAST
2010
15 years 2 months ago
Extending SSD Lifetimes with Disk-Based Write Caches
We present Griffin, a hybrid storage device that uses a hard disk drive (HDD) as a write cache for a Solid State Device (SSD). Griffin is motivated by two observations: First, HDD...
Gokul Soundararajan, Vijayan Prabhakaran, Mahesh B...
ACTA
2006
74views more  ACTA 2006»
14 years 12 months ago
Linearly bounded infinite graphs
Linearly bounded Turing machines have been mainly studied as acceptors for context-sensitive languages. We define a natural family of canonical infinite automata representing their...
Arnaud Carayol, Antoine Meyer
ICRA
1998
IEEE
178views Robotics» more  ICRA 1998»
15 years 4 months ago
3-DOF Closed-Loop Control for Planar Linear Motors
Planar linear motors Sawyer motors have been used in industry as open-loop stepping motors, but their robustness and versatility has been limited. Using a sensor recently integrat...
Arthur E. Quaid, Ralph L. Hollis