Sciweavers

696 search results - page 93 / 140
» Model driven development with Ada
Sort
View
ENTCS
2007
111views more  ENTCS 2007»
13 years 9 months ago
Reversibility and Models for Concurrency
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
Iain Phillips, Irek Ulidowski
ENGL
2008
70views more  ENGL 2008»
13 years 9 months ago
Modeling, Control and Simulation of a Novel Mobile Robotic System
Abstract--We are developing an autonomous mobile robotic system to emulate six degree of freedom relative spacecraft motion during proximity operations. A mobile omni-directional b...
Xiaoli Bai, Jeremy J. Davis, James Doebbler, James...
AUTOMATICA
2004
77views more  AUTOMATICA 2004»
13 years 9 months ago
Non-asymptotic quality assessment of generalised FIR models with periodic inputs
In any real-life identification problem, only a finite number of data points is available. On the other hand, almost all results in stochastic identification pertain to asymptotic...
Marco C. Campi, Su Ki Ooi, Erik Weyer
COMPSYSTECH
2009
13 years 7 months ago
Architectural models for realization of web-based personal health systems
: Recent advances in Information and Communication Technologies (ICT) and more specifically in wireless networks and mobile computing have driven new directions in the development ...
Mitko Shopov, Grisha Spasov, Galidia Petrova
ICIP
2003
IEEE
14 years 11 months ago
A Bayesian framework for Gaussian mixture background modeling
Background subtraction is an essential processing component for many video applications. However, its development has largely been application driven and done in ad hoc manners. I...
Dar-Shyang Lee, Jonathan J. Hull, Berna Erol