Sciweavers

3680 search results - page 183 / 736
» cases 2010
Sort
View
JRTIP
2010
137views more  JRTIP 2010»
15 years 1 months ago
Cascaded online boosting
In this paper, we propose a cascaded version of the online boosting algorithm to speed-up the execution time and guarantee real-time performance even when employing a large number ...
Ingrid Visentini, Lauro Snidaro, Gian Luca Foresti
JSCIC
2010
97views more  JSCIC 2010»
15 years 1 months ago
Finite Element Characteristic Methods Requiring no Quadrature
The characteristic methods are known to be very efficient for convection-diffusion problems including the Navier-Stokes equations. Convergence is established when the integrals ar...
Olivier Pironneau
JSCIC
2010
57views more  JSCIC 2010»
15 years 1 months ago
A Proof of the Stability of the Spectral Difference Method for All Orders of Accuracy
While second order methods for computational simulations of fluid flow provide the basis of widely used commercial software, there is a need for higher order methods for more accur...
Antony Jameson
JSS
2010
132views more  JSS 2010»
15 years 1 months ago
Formal specification of the variants and behavioural features of design patterns
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
JSYML
2010
60views more  JSYML 2010»
15 years 1 months ago
Generalizations of small profinite structures
We generalize the model theory of small profinite structures developed by Newelski to the case of compact metric spaces considered together with compact groups of homeomorphisms a...
Krzysztof Krupinski