Sciweavers

7264 search results - page 221 / 1453
» A multiplicative up-propagation algorithm
Sort
View
143
Voted
ISOLA
2004
Springer
15 years 11 months ago
On model checking multiple hybrid views
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
Michael Huth, Altaf Hussain
IMR
2003
Springer
15 years 11 months ago
Multiple Stationary and Moving Boundary Handling in Cartesian Grids
A Cartesian grid generation methodology is developed for unsteady control volume computational fluid dynamic (CFD) solvers. Arbitrary combinations and numbers of moving and statio...
Kerem Pekkan
ICC
2000
IEEE
102views Communications» more  ICC 2000»
15 years 10 months ago
Multiple Access Techniques for Wideband Upstream Powerline Communications: CAP-CDMA and DMT-FDMA
This paper compares two multiuser transmission techniques in the context of wideband upstream powerline communications. The first one is based on the combination of CAP and CDMA,...
Thierry Sartenaer, François Horlin, Luc Van...
ICMCS
2007
IEEE
136views Multimedia» more  ICMCS 2007»
15 years 10 months ago
Minimum-Multiplicity Routing Problems of Multimedia Communications
In this work, we investigate the routing problems ofminimizing the number ofdistinct transmission mediums or carrier domains for multimedia communications. We consider the problem...
Shengli Yuan
IPMU
2010
Springer
15 years 8 months ago
Evidential Combination of Multiple HMM Classifiers for Multi-script Handwritting Recognition
In this work, we focus on an improvement of a multi-script handwritting recognition system using a HMM based classifiers combination. The improvement relies on the use of Dempster-...
Yousri Kessentini, Thomas Burger, Thierry Paquet