Sciweavers

1258 search results - page 226 / 252
» Architecture-driven Problem Decomposition
Sort
View
TCSV
2002
229views more  TCSV 2002»
13 years 7 months ago
Automatic segmentation of moving objects in video sequences: a region labeling approach
Abstract--The emerging video coding standard MPEG-4 enables various content-based functionalities for multimedia applications. To support such functionalities, as well as to improv...
Yaakov Tsaig, Amir Averbuch
CORR
2010
Springer
43views Education» more  CORR 2010»
13 years 7 months ago
Vcache: Caching Dynamic Documents
---- The traditional web caching is currently limited to static documents only. A page generated on the fly from a server side script may have different contents on different acces...
Vipul Goyal, Sugata Sanyal, Dharma P. Agrawal
FUIN
2010
112views more  FUIN 2010»
13 years 6 months ago
An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing
From an empirical point of view, the hardness of quantified Boolean formulas (QBFs), can be characterized by the (in)ability of current state-of-the-art QBF solvers to decide abo...
Luca Pulina, Armando Tacchella
ICASSP
2010
IEEE
13 years 6 months ago
Optimization of a maximum entropy criterion for 2D Nuclear Magnetic Resonance reconstruction
This paper deals with the reconstruction of T1-T2 correlation spectra in Nuclear Magnetic Resonance (NMR) spectroscopy. The ill-posed character of this inverse problem and its lar...
Emilie Chouzenoux, Saïd Moussaoui, Jér...
JBI
2010
129views Bioinformatics» more  JBI 2010»
13 years 6 months ago
Proclets in healthcare
Healthcare processes can be characterized as weakly-connected interacting lightweight workflows coping with different levels of granularity. Classical workflow notations are fal...
R. S. Mans, Nick C. Russell, Wil M. P. van der Aal...