Sciweavers

1597 search results - page 179 / 320
» Project Improvement as Start-Up
Sort
View
FMAM
2010
174views Formal Methods» more  FMAM 2010»
15 years 4 months ago
Are Formal Methods Ready for Agility? A Reality Check
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff
ICPR
2010
IEEE
15 years 4 months ago
Audio-Visual Classification and Fusion of Spontaneous Affective Data in Likelihood Space
This paper focuses on audio-visual (using facial expression, shoulder and audio cues) classification of spontaneous affect, utilising generative models for classification (i) in t...
Mihalis A. Nicolaou, Hatice Gunes, Maja Pantic
SIAMNUM
2010
103views more  SIAMNUM 2010»
15 years 1 months ago
Hybridization and Postprocessing Techniques for Mixed Eigenfunctions
Abstract. We introduce hybridization and postprocessing techniques for the RaviartThomas approximation of second-order elliptic eigenvalue problems. Hybridization reduces the Ravia...
Bernardo Cockburn, Jayadeep Gopalakrishnan, F. Li,...
SIAMNUM
2010
115views more  SIAMNUM 2010»
15 years 1 months ago
Superconvergence of Discontinuous Galerkin and Local Discontinuous Galerkin Schemes for Linear Hyperbolic and Convection-Diffusi
In this paper, we study the superconvergence property for the discontinuous Galerkin (DG) and the local discontinuous Galerkin (LDG) methods, for solving one-dimensional time depe...
Yingda Cheng, Chi-Wang Shu
TIFS
2010
135views more  TIFS 2010»
15 years 1 months ago
Distance Metric Learning for Content Identification
This paper considers a distance metric learning (DML) algorithm for a fingerprinting system, which identifies a query content by finding the fingerprint in the database (DB) that m...
Dalwon Jang, Chang Dong Yoo, Ton Kalker