Sciweavers

1797 search results - page 220 / 360
» Regularized Winnow Methods
Sort
View
CONCUR
2006
Springer
14 years 28 days ago
Proving Liveness by Backwards Reachability
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, ...
CEC
2005
IEEE
13 years 11 months ago
Nonlinear mapping using particle swarm optimisation
Abstract— Nonlinear mapping is an approach of multidimensional scaling where a high-dimensional space is transformed into a lower-dimensional space such that the topological char...
Auralia I. Edwards, Andries Petrus Engelbrecht, Ne...
DAGM
2008
Springer
13 years 11 months ago
Postprocessing of Optical Flows Via Surface Measures and Motion Inpainting
Dense optical flow fields are required for many applications. They can be obtained by means of various global methods which employ regularization techniques for propagating estimat...
Claudia Kondermann, Daniel Kondermann, Christoph S...
LREC
2008
107views Education» more  LREC 2008»
13 years 10 months ago
The Construction and Evaluation of Word Space Models
Semantic similarity is a key issue in many computational tasks. This paper goes into the development and evaluation of two common ways of automatically calculating the semantic si...
Yves Peirsman, Simon De Deyne, Kris Heylen, Dirk G...
ICML
2010
IEEE
13 years 10 months ago
From Transformation-Based Dimensionality Reduction to Feature Selection
Many learning applications are characterized by high dimensions. Usually not all of these dimensions are relevant and some are redundant. There are two main approaches to reduce d...
Mahdokht Masaeli, Glenn Fung, Jennifer G. Dy