Sciweavers

1483 search results - page 127 / 297
» Geometric constraint satisfaction using optimization methods
Sort
View
SARA
2009
Springer
15 years 8 months ago
Modelling Equidistant Frequency Permutation Arrays in Constraints
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each...
Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightin...
FM
2008
Springer
152views Formal Methods» more  FM 2008»
15 years 2 months ago
Constraint Prioritization for Efficient Analysis of Declarative Models
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
Engin Uzuncaova, Sarfraz Khurshid
CPAIOR
2008
Springer
15 years 3 months ago
The Accuracy of Search Heuristics: An Empirical Study on Knapsack Problems
Theoretical models for the evaluation of quickly improving search strategies, like limited discrepancy search, are based on specific assumptions regarding the probability that a va...
Daniel H. Leventhal, Meinolf Sellmann
ICML
2003
IEEE
16 years 2 months ago
The Pre-Image Problem in Kernel Methods
In this paper, we address the problem of finding the pre-image of a feature vector in the feature space induced by a kernel. This is of central importance in some kernel applicatio...
James T. Kwok, Ivor W. Tsang
ICRA
2009
IEEE
103views Robotics» more  ICRA 2009»
14 years 11 months ago
Prioritizing linear equality and inequality systems: Application to local motion planning for redundant robots
We present a novel method for prioritizing both linear equality and inequality systems and provide one algorithm for its resolution. This algorithm can be summarized as a sequence ...
Oussama Kanoun, Florent Lamiraux, Pierre-Brice Wie...