2203 search results - page 248 / 441 » Temporal Abstract Interpretation |
128
click to vote
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
112
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— A novel nonparametric paradigm to model identification has been recently proposed where, in place of postulating finite-dimensional models of the system transfer func...
117
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— The Chen-Fliess series is known to be an exponential Lie series. Previously explicit formulas for the iterated integral coefficients were known only for its factorizat...
111
click to vote
CEC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This paper introduces the optimization of a Quantum Control application, the so-called molecular alignment problem, subject to a dynamic environment. Given the relative...
130
click to vote
DEXAW
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We discuss issues related to the design of a multitouch gesture sensing environment, allowing the user to execute both independent and coordinated gestures. We discuss d...