Sciweavers

3614 search results - page 5 / 723
» Numerical Computing with MATLAB
Sort
View
CAV
2010
Springer
227views Hardware» more  CAV 2010»
14 years 7 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
EUROPAR
2003
Springer
15 years 2 months ago
Implementation of a Grid Computation Toolkit for Design Optimisation with Matlab and Condor
The process of design search and optimisation is characterised by its computationally intensive operations, which produce a problem well suited to Grid computing. Here we present a...
Gang Xue, Matt J. Fairman, Graeme E. Pound, Simon ...
60
Voted
ISMIR
2004
Springer
101views Music» more  ISMIR 2004»
15 years 2 months ago
A Matlab Toolbox to Compute Music Similarity from Audio
A Matlab toolbox implementing music similarity measures for audio is presented. The implemented measures focus on aspects related to timbre and periodicities in the signal. This p...
Elias Pampalk

Source Code
7589views
16 years 5 months ago
MATLAB and Octave Functions for Computer Vision and Image Processing
Great Matlab and Octave function implementation for hot computer vision algorithms such as Feature detection via Phase Congruency, Spatial feature detection, Non-maxima suppression...
P. D. Kovesi
ECCV
2006
Springer
15 years 11 months ago
Practical Global Optimization for Multiview Geometry
This paper presents a practical method for finding the provably globally optimal solution to numerous problems in projective geometry including multiview triangulation, camera rese...
Sameer Agarwal, Manmohan Krishna Chandraker, Fredr...