Sciweavers

1174 search results - page 7 / 235
» Derivation of Characteristic Formulae
Sort
View
ICIP
2003
IEEE
15 years 11 months ago
Techniques for automatic video content derivation
In this paper, we focus on the use of three different techniques that support automatic derivation of video content from raw video data, namely, a spatio-temporal rule-based metho...
Milan Petkovic, Vojkan Mihajlovic, Willem Jonker
101
Voted
AIML
2008
14 years 11 months ago
Completeness of the finitary Moss logic
We give a sound and complete derivation system for the valid formulas in the finitary version of Moss' coalgebraic logic, for coalgebras of arbitrary type.
Clemens Kupke, Alexander Kurz, Yde Venema
80
Voted
APPML
2006
92views more  APPML 2006»
14 years 9 months ago
An alternative approach to solving the Black-Scholes equation with time-varying parameters
In this note we provide a simple derivation of an explicit formula for the price of an option on a dividend-paying equity when the parameters in the Black
Marianito R. Rodrigo, Rogemar S. Mamon
83
Voted
MICS
2010
112views more  MICS 2010»
14 years 8 months ago
Traces of the Group Law on the Kummer Surface of a Curve of Genus 2 in Characteristic 2
In the early 1990s, Flynn gave an explicit description of the Jacobian of a genus 2 hyperelliptic curve to perform efficient arithmetic on these objects. In this paper, we give a ...
Sylvain Duquesne
CDC
2008
IEEE
146views Control Systems» more  CDC 2008»
15 years 4 months ago
Control formula for nonlinear systems subject to convex input constraints using control Lyapunov functions
— In this paper, we propose a two-step controller design method with control Lyapunov functions (CLFs) for nonlinear systems with convex input constraints. In the first step, we...
Yasuyuki Satoh, Hisakazu Nakamura, Nami Nakamura, ...