Sciweavers

9405 search results - page 1621 / 1881
» Computing a Model of Set Theory
Sort
View
151
Voted
ROOM
2000
15 years 6 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...
WSC
1996
15 years 6 months ago
New Advances and Applications of Combining Simulation and Optimization
The area of integrating simulation and optimization has recently undergone remarkable changes. New advances are making available applications of simulation that previously had bee...
Fred Glover, James P. Kelly, Manuel Laguna
APGV
2010
ACM
238views Visualization» more  APGV 2010»
15 years 6 months ago
A morphing-based analysis of the perceptual distance metric of human faces
This paper presents a psychophysical analysis of the discrimination thresholds of human faces that are varied along different directions in Face Space. Generated by a 3D Morphable...
Nadine Gummersbach, Volker Blanz
156
Voted
SMA
2010
ACM
164views Solid Modeling» more  SMA 2010»
15 years 5 months ago
Topologically guaranteed univariate solutions of underconstrained polynomial systems via no-loop and single-component tests
We present an algorithm which robustly computes the intersection curve(s) of an under-constrained piecewise polynomial system consisting of n equations with n + 1 unknowns. The so...
Michael Barton, Gershon Elber, Iddo Hanniel
AI
2008
Springer
15 years 5 months ago
Generalised arc consistency for the AllDifferent constraint: An empirical survey
The AllDifferent constraint is a crucial component of any constraint toolkit, language or solver, since it is very widely used in a variety of constraint models. The literature con...
Ian P. Gent, Ian Miguel, Peter Nightingale
« Prev « First page 1621 / 1881 Last » Next »