Sciweavers

6651 search results - page 935 / 1331
» Translating Web Data
Sort
View
HYBRID
2010
Springer
16 years 1 months ago
On integration of event-based estimation and robust MPC in a feedback loop
The main purpose of event-based control, if compared to periodic control, is to minimize data transfer or processing power in networked control systems. Current methods have an (i...
Joris Sijs, Mircea Lazar, W. P. M. H. Heemels
FMCAD
2009
Springer
16 years 1 months ago
Assume-guarantee validation for STE properties within an SVA environment
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham
HICSS
2008
IEEE
126views Biometrics» more  HICSS 2008»
16 years 1 months ago
A Cross-Cultural Investigation of the Goal-Attainment-Likelihood Construct and Its Effect on Satisfaction with Technology Suppor
1 Collaboration technologies often provide benefits to teams working together to achieve a common goal. Such technologies may be abandoned, however, if users are dissatisfied with...
Bruce A. Reinig, Robert O. Briggs, Gert-Jan de Vre...
AINA
2007
IEEE
16 years 1 months ago
Sim-PowerCMP: A Detailed Simulator for Energy Consumption Analysis in Future Embedded CMP Architectures
Continuous improvements in integration scale have made major microprocessor vendors to move to designs that integrate several processor cores on the same chip. Chip-multiprocessor...
Antonio Flores, Juan L. Aragón, Manuel E. A...
ICASSP
2007
IEEE
16 years 1 months ago
Image-Based Frame Gating of IVUS Pullbacks: A Surrogate for ECG
Intravascular ultrasound (IVUS) is a catheter-based modality which is used to produce high-resolution, cross-sectional images of the interior of blood vessels. By capturing 2-D IV...
Sean M. O'Malley, Stephane G. Carlier, Morteza Nag...