Sciweavers

2008 search results - page 214 / 402
» Computing with Equations
Sort
View
CSL
2010
Springer
15 years 5 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
CCE
2006
15 years 4 months ago
Parameter estimation in continuous-time dynamic models using principal differential analysis
Principal differential analysis (PDA) is an alternative parameter estimation technique for differential equation models in which basis functions (e.g., B-splines) are fitted to dy...
A. A. Poyton, M. S. Varziri, K. B. McAuley, P. J. ...
IJCV
2006
83views more  IJCV 2006»
15 years 3 months ago
Visual Acuity in Day for Night
In film production, it is sometimes not convenient or directly impossible to shoot some night scenes at night. The film budget, schedule or location may not allow it. In these cas...
Gloria Haro, Marcelo Bertalmío, Vicent Case...
132
Voted
JCP
2008
145views more  JCP 2008»
15 years 3 months ago
Impact of Shift Operations on (-1+j)-Base Complex Binary Numbers
Complex numbers play a very important role in various applications of electrical and computer engineering. These days, arithmetic operations dealing with these numbers rely on a &q...
Tariq Jamil
JUCS
2006
131views more  JUCS 2006»
15 years 3 months ago
Verification of CRWL Programs with Rewriting Logic
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
José Miguel Cleva, Isabel Pita