Sciweavers

3565 search results - page 364 / 713
» Modeling a system controller for timing analysis
Sort
View
HYBRID
2000
Springer
15 years 8 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
TROB
2002
212views more  TROB 2002»
15 years 4 months ago
Path planning for robust image-based control
Abstract-- Vision feedback control loop techniques are efficient for a large class of applications but they come up against difficulties when the initial and desired robot position...
Youcef Mezouar, François Chaumette
TC
2008
15 years 4 months ago
eRAID: Conserving Energy in Conventional Disk-Based RAID System
Recently, high-energy consumption has become a serious concern for both storage servers and data centers. Recent research studies have utilized the short transition times of multis...
Jun Wang, Huijun Zhu, Dong Li
CHI
2006
ACM
16 years 5 months ago
UNIFORM: automatically generating consistent remote control user interfaces
A problem with many of today's appliance interfaces is that they are inconsistent. For example, the procedure for setting the time on alarm clocks and VCRs differs, even amon...
Jeffrey Nichols, Brad A. Myers, Brandon Rothrock
KDD
2008
ACM
121views Data Mining» more  KDD 2008»
16 years 5 months ago
Reconstructing chemical reaction networks: data mining meets system identification
We present an approach to reconstructing chemical reaction networks from time series measurements of the concentrations of the molecules involved. Our solution strategy combines t...
Yong Ju Cho, Naren Ramakrishnan, Yang Cao