Sciweavers

1021 search results - page 120 / 205
» On the generalized Navier-Stokes equations
Sort
View
LICS
2009
IEEE
16 years 28 days ago
An Algebra for Kripke Polynomial Coalgebras
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexan...
CDC
2008
IEEE
124views Control Systems» more  CDC 2008»
16 years 23 days ago
A passive 2DOF walker: Finding gait cycles using virtual holonomic constraints
— A planar compass-like biped on a shallow slope is the simplest model of a passive walker. It is a two-degrees-offreedom impulsive mechanical system known to possess periodic so...
Leonid B. Freidovich, Uwe Mettin, Anton S. Shiriae...
ICC
2008
IEEE
146views Communications» more  ICC 2008»
16 years 23 days ago
Optimal Precoding for Digital Subscriber Lines
—We determine the linear precoding policy that maximizes the mutual information for general multiple-input multiple-output (MIMO) Gaussian channels with arbitrary input distribut...
Fernando Pérez-Cruz, Miguel R. D. Rodrigues...
ICDM
2008
IEEE
112views Data Mining» more  ICDM 2008»
16 years 22 days ago
Supervised Inductive Learning with Lotka-Volterra Derived Models
We present a classification algorithm built on our adaptation of the Generalized Lotka-Volterra model, well-known in mathematical ecology. The training algorithm itself consists ...
Karen Hovsepian, Peter Anselmo, Subhasish Mazumdar
LICS
2008
IEEE
16 years 21 days ago
Context Matching for Compressed Terms
This paper is an investigation of the matching problem for term equations s = t where s contains context variables, and both terms s and t are given using some kind of compressed ...
Adria Gascón, Guillem Godoy, Manfred Schmid...