Sciweavers

17680 search results - page 150 / 3536
» Simulation of Computer Systems and Applications
Sort
View
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 3 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
MS
2003
15 years 4 months ago
Planetarium Simulation System Usability and Experiments
This paper describes a modeling, simulation, and evaluation system for planetary simulation, including dynamic 3D-visualization, event capturing, and experiment management. Becaus...
Wolfgang P. Kowalk
CDC
2009
IEEE
217views Control Systems» more  CDC 2009»
15 years 4 months ago
Discrete invasive weed optimization algorithm: application to cooperative multiple task assignment of UAVs
This paper presents a novel discrete population based stochastic optimization algorithm inspired from weed colonization. Its performance in a discrete benchmark, timecost trade-off...
Mohsen Ramezani Ghalenoei, Hossein Hajimirsadeghi,...
SIAMJO
2002
122views more  SIAMJO 2002»
15 years 2 months ago
Robust Filtering via Semidefinite Programming with Applications to Target Tracking
In this paper we propose a novel finite-horizon, discrete-time, time-varying filtering method based on the robust semidefinite programming (SDP) technique. The proposed method prov...
Lingjie Li, Zhi-Quan Luo, Timothy N. Davidson, Kon...
CADUI
2004
15 years 4 months ago
A Lightweight Experiment Management System for Handheld Computers
: This paper describes a system that helps HCI practitioners and researchers manage and conduct experiments involving context-sensitive handheld applications, particularly related ...
Philip D. Gray, Joy Goodman, James Macleod