Sciweavers

3724 search results - page 237 / 745
» Timed regular expressions
Sort
View
SIAMMA
2010
89views more  SIAMMA 2010»
15 years 20 days ago
The Navier-Stokes-Vlasov-Fokker-Planck System near Equilibrium
This paper is concerned with a system that couples the incompressible Navier-Stokes equations to the Vlasov-Fokker-Planck equation. Such a system arises in the modeling of sprays,...
Thierry Goudon, Lingbing He, Ayman Moussa, Ping Zh...
SIAMSC
2008
179views more  SIAMSC 2008»
15 years 5 months ago
Multigrid Algorithms for Inverse Problems with Linear Parabolic PDE Constraints
Abstract. We present a multigrid algorithm for the solution of distributed parameter inverse problems constrained by variable-coefficient linear parabolic partial differential equa...
Santi S. Adavani, George Biros
DATE
2009
IEEE
85views Hardware» more  DATE 2009»
16 years 20 days ago
Faster SAT solving with better CNF generation
Boolean satisfiability (SAT) solving has become an enabling technology with wide-ranging applications in numerous disciplines. These applications tend to be most naturally encode...
Benjamin Chambers, Panagiotis Manolios, Daron Vroo...
ICC
2007
IEEE
16 years 7 days ago
Level Crossing Rates of MIMO-MRC Ricean Channels and Their Implications on Adaptive Systems
- The second-order statistics of the time varying signal to noise ratio at the output of a multiple-input-multiple-output (MIMO) system with maximal ratio combining (MRC) are analy...
Predrag Ivanis, Dusan Drajic, Branka Vucetic
ICPR
2010
IEEE
15 years 11 months ago
The Detection of Concept Frames Using Clustering Multi-Instance Learning
Abstract—The classification of sequences requires the combination of information from different time points. In this paper the detection of facial expressions is considered. Exp...
David Tax, Michel Valstar