Sciweavers

8587 search results - page 1297 / 1718
» Interactive dynamic abstraction
Sort
View
AUTOMATICA
2006
74views more  AUTOMATICA 2006»
15 years 7 months ago
Distributed receding horizon control for multi-vehicle formation stabilization
We consider the control of interacting subsystems whose dynamics and constraints are decoupled, but whose state vectors are coupled non-separably in a single cost function of a fi...
William B. Dunbar, Richard M. Murray
CAL
2006
15 years 7 months ago
A Case for Compressing Traces with BDDs
Instruction-level traces are widely used for program and hardware analysis. However, program traces for just a few seconds of execution are enormous, up to several terabytes in siz...
Graham D. Price, Manish Vachharajani
CN
2006
145views more  CN 2006»
15 years 7 months ago
Understanding optimal data gathering in the energy and latency domains of a wireless sensor network
The problem of optimal data gathering in wireless sensor networks (WSNs) is addressed by means of optimization techniques. The goal of this work is to lay the foundations to devel...
Ugo Monaco, Francesca Cuomo, Tommaso Melodia, Fabi...
ENGL
2006
84views more  ENGL 2006»
15 years 7 months ago
A framework for neural network to make business forecasting with hybrid VAR and GA components
Applying Vector Autoregression (VAR) and genetic algorithm (GA) in hybrid systems with neural network can improve the NN's prediction capability. Two case studies have been ca...
Sio Iong Ao
ENTCS
2006
112views more  ENTCS 2006»
15 years 7 months ago
Modeling Web Applications by the Multiple Levels of Integrity Policy
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
Gianluca Amato, Massimo Coppola, Stefania Gnesi, F...
« Prev « First page 1297 / 1718 Last » Next »