Sciweavers

2410 search results - page 313 / 482
» Multiset Ordering Constraints
Sort
View
118
Voted
AMC
2005
138views more  AMC 2005»
15 years 5 months ago
Optimal centers in branch-and-prune algorithms for univariate global optimization
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...
D. G. Sotiropoulos, T. N. Grapsa
143
Voted
TCS
2008
15 years 5 months ago
On a quasi-ordering on Boolean functions
It was proved few years ago that classes of Boolean functions definable by means of functional equations [9], or equivalently, by means of relational constraints [16], coincide wit...
Miguel Couceiro, Maurice Pouzet
TOG
2008
115views more  TOG 2008»
15 years 5 months ago
Animating developable surfaces using nonconforming elements
We present a new discretization for the physics-based animation of developable surfaces. Constrained to not deform at all in-plane but free to bend out-of-plane, these are an exce...
Elliot English, Robert Bridson
JMM2
2007
123views more  JMM2 2007»
15 years 5 months ago
An Assignment Scheme to Control Multiple Pan/Tilt Cameras for 3D Video
— This paper presents an assignment scheme to control multiple Pan/Tilt (PT) cameras for 3D video of a moving object. The system combines static wide field of view (FOV) cameras...
Sofiane Yous, Norimichi Ukita, Masatsugu Kidode
LOGCOM
2007
97views more  LOGCOM 2007»
15 years 5 months ago
A General Framework for Expressing Preferences in Causal Reasoning and Planning
We consider the problem of incorporating arbitrary preferences in planning systems. A preference may be seen as a goal or constraint that is desirable, but not necessary, to satis...
James P. Delgrande, Torsten Schaub, Hans Tompits