Sciweavers

3670 search results - page 126 / 734
» Linear Recursive Functions
Sort
View
CASC
2007
Springer
124views Mathematics» more  CASC 2007»
15 years 9 months ago
A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form
We find a full system of invariants with respect to gauge transformations L g-1 Lg for third-order hyperbolic linear partial differential operators on the plane. The operators are...
Ekaterina Shemyakova, Franz Winkler
EACL
2003
ACL Anthology
15 years 6 months ago
Linear Text Segmentation using a Dynamic Programming Algorithm
In this paper we introduce a dynamic programming algorithm to perform linear text segmentation by global minimization of a segmentation cost function which consists of: (a) within...
Athanasios Kehagias, Pavlina Fragkou, Vassilios Pe...
AMC
2006
115views more  AMC 2006»
15 years 5 months ago
Global stabilization for linear continuous time-varying systems
In this paper, stabilization problem via static output feedback controls for linear time-varying systems is investigated. Based on the Lyapunov function techniques, we show that f...
Vu N. Phat
SIAMAM
2000
119views more  SIAMAM 2000»
15 years 4 months ago
The "Linear" Limit of Thin Film Flows as an Obstacle-Type Free Boundary Problem
We study the limit as n 0 of the nonnegative, self-similar source-type solutions of the thin film equation ut + (unuxxx)x = 0. We obtain a unique limiting function u, which is a s...
Fernando Quirós, Francisco Bernis, Josephus...
LOPSTR
2004
Springer
15 years 10 months ago
On Termination of Binary CLP Programs
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...
Alexander Serebrenik, Frédéric Mesna...