Sciweavers

750 search results - page 18 / 150
» Desires, Norms and Constraints
Sort
View
109
Voted
LOPSTR
2009
Springer
15 years 6 months ago
Towards a Framework for Constraint-Based Test Case Generation
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
François Degrave, Tom Schrijvers, Wim Vanho...
133
Voted
CPAIOR
2008
Springer
15 years 3 months ago
Using Local Search to Speed Up Filtering Algorithms for Some NP-Hard Constraints
Abstract. This paper proposes to use local search inside filtering algorithms of combinatorial structures for which achieving a desired level of consistency is too computationally ...
Philippe Galinier, Alain Hertz, Sandrine Paroz, Gi...
CORR
2010
Springer
92views Education» more  CORR 2010»
15 years 1 months ago
Applying Constraint Solving to the Management of Distributed Applications
Abstract. We present our approach for deploying and managing distributed component-based applications. A Desired State Description (DSD), written in a high-level declarative langua...
Andrew McCarthy, Alan Dearle, Graham N. C. Kirby
ISVC
2005
Springer
15 years 7 months ago
A Vectorial Self-dual Morphological Filter Based on Total Variation Minimization
We present a vectorial self dual morphological filter. Contrary to many methods, our approach does not require the use of an ordering on vectors. It relies on the minimization of ...
Jérôme Darbon, Sylvain Peyronnet
89
Voted
VMV
2001
92views Visualization» more  VMV 2001»
15 years 3 months ago
Using Quaternions for Parametrizing 3-D Rotations in Unconstrained Nonlinear Optimization
In this paper we address the problem of using quaternions in unconstrained nonlinear optimization of 3-D rotations. Quaternions representing rotations have four elements but only ...
Jochen Schmidt, Heinrich Niemann