Sciweavers

441 search results - page 84 / 89
» An extension of the ICA model using latent variables
Sort
View
MIR
2006
ACM
195views Multimedia» more  MIR 2006»
14 years 1 months ago
Automatically selecting shots for action movie trailers
Movie trailers, or previews, are an important method of advertising movies. They are extensively shown before movies in cinemas, as well as on television and increasingly, over th...
Alan F. Smeaton, Bart Lehane, Noel E. O'Connor, Co...
DAGSTUHL
2010
13 years 9 months ago
Generalized Swap Operation for Tetrahedrizations
Mesh optimization of 2D and 3D triangulations is used in multiple applications extensively. For example, mesh optimization is crucial in the context of adaptively discretizing geo...
Burkhard Lehner, Bernd Hamann, Georg Umlauf
TSP
2010
13 years 2 months ago
Uplink synchronization in OFDMA spectrum-sharing systems
Spectrum sharing employs dynamic allocation of frequency resources for a more efficient use of the radio spectrum. Despite its appealing features, this technology inevitably compli...
Luca Sanguinetti, Michele Morelli, H. Vincent Poor
PODC
1990
ACM
13 years 11 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
CLEIEJ
2004
137views more  CLEIEJ 2004»
13 years 7 months ago
A Component-based Product Line for Workflow Management Systems
This paper presents a component-based product line for workflow management systems. The process followed to design the product line was based on the Catalysis method. Extensions w...
Itana Maria de Souza Gimenes, Fabrício Rica...