-
1
-
-
0004265737
-
-
Prentice Hall, Upper Saddle River, NJ
-
Otto, K., and Wood, K., 2001, Product Design: Techniques in Reverse Engineering and New Product Development, Prentice Hall, Upper Saddle River, NJ.
-
(2001)
Product Design: Techniques in Reverse Engineering and New Product Development
-
-
Otto, K.1
Wood, K.2
-
2
-
-
34248346299
-
Review of metamodeling techniques in support of engineering design optimization
-
Wang, G. G., and Shan, S., 2007, "Review of Metamodeling Techniques in Support of Engineering Design Optimization", ASME J. Mech. Des., 129(4), pp. 370-380.
-
(2007)
ASME J. Mech. Des.
, vol.129
, Issue.4
, pp. 370-380
-
-
Wang, G.G.1
Shan, S.2
-
3
-
-
11244273009
-
Trade space exploration of satellite datasets using a design by shopping paradigm
-
Stump, G. M., Yukish, M., Simpson, T. W., and O'Hara, J. J., 2004, "Trade Space Exploration of Satellite Datasets Using a Design by Shopping Paradigm", Proceedings of IEEE Aerospace Conference, Vol. 6, pp. 3885-3895.
-
(2004)
Proceedings of IEEE Aerospace Conference
, vol.6
, pp. 3885-3895
-
-
Stump, G.M.1
Yukish, M.2
Simpson, T.W.3
O'Hara, J.J.4
-
4
-
-
0008574172
-
-
Ph. D. thesis, Department of Mechanical Engineering, Massachusetts Institute of Technology, Boston, MA
-
Ward, A. C., 1989, "A Theory of Quantitative Inference Applied to a Mechanical Design Compiler", Ph. D. thesis, Department of Mechanical Engineering, Massachusetts Institute of Technology, Boston, MA.
-
(1989)
A Theory of Quantitative Inference Applied to A Mechanical Design Compiler
-
-
Ward, A.C.1
-
5
-
-
0040571817
-
Interval constraint logic programming
-
Basics and Trends, LNCS
-
Benhamou, F., 1995, "Interval Constraint Logic Programming", Proceedings of Constraint Programming, Basics and Trends, LNCS 910, pp. 1-21.
-
(1995)
Proceedings of Constraint Programming
, vol.910
, pp. 1-21
-
-
Benhamou, F.1
-
6
-
-
1842760567
-
Towards a conceptual design explorer using meta-modeling approaches and constraint programming
-
Yannou, B., Simpson, T. W., and Barton, R. R., 2003, "Towards a Conceptual Design Explorer Using Meta-Modeling Approaches and Constraint Programming", ASME Paper No. DETC2003/DAC-48766.
-
(2003)
ASME Paper No. DETC2003/DAC-48766
-
-
Yannou, B.1
Simpson, T.W.2
Barton, R.R.3
-
7
-
-
33745226980
-
Algorithm 852: Realpaver: An interval solver using constraint satisfaction techniques
-
Granvilliers, L., and Benhamou, F., 2006, "Algorithm 852: Realpaver: An Interval Solver Using Constraint Satisfaction Techniques", ACM Trans. Math. Softw., 32(1), pp. 138-156.
-
(2006)
ACM Trans. Math. Softw.
, vol.32
, Issue.1
, pp. 138-156
-
-
Granvilliers, L.1
Benhamou, F.2
-
8
-
-
70350623069
-
Nonlinear systems solver in floating-point arithmetic using LP reduction
-
San Fransisco, CA
-
Fünfzig, F., Michelucci, D., and Foufou, S., 2009, "Nonlinear Systems Solver in Floating-Point Arithmetic Using LP Reduction", Proceedings of the 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling, San Fransisco, CA, pp. 123-134.
-
(2009)
Proceedings of the 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling
, pp. 123-134
-
-
Fünfzig, F.1
Michelucci, D.2
Foufou, S.3
-
9
-
-
0030234642
-
Consistency techniques for continuous constraints
-
Sam-Haroud, D., and Faltings, B., 1996, "Consistency Techniques for Continuous Constraints", Constraints, 1 (1-2), pp. 85-118.
-
(1996)
Constraints
, vol.1
, Issue.1-2
, pp. 85-118
-
-
Sam-Haroud, D.1
Faltings, B.2
-
10
-
-
0012088095
-
-
Ph. D. thesis, Ecole Polytechnique Fédérale de Lausanne, EFPL, Lausanne, Switzerland
-
Lottaz, C., 2000, "Collaborative Design Using Solution Spaces", Ph. D. thesis, Ecole Polytechnique Fédérale de Lausanne, EFPL, Lausanne, Switzerland.
-
(2000)
Collaborative Design Using Solution Spaces
-
-
Lottaz, C.1
-
11
-
-
77953693759
-
-
Springer-Verlag, Berlin
-
Jermann, C., Neumaier, A., and Sam, D., 2005, Global Optimization and Constraint Satisfaction, Springer-Verlag, Berlin.
-
(2005)
Global Optimization and Constraint Satisfaction
-
-
Jermann, C.1
Neumaier, A.2
Sam, D.3
-
13
-
-
0242712452
-
-
Springer, Berlin
-
Vu, X.-H., Sam-Haroud, D., and Silaghi, M.-C, 2003, Numerical Constraint Satisfaction Problems With Non-Isolated Solutions, Springer, Berlin.
-
(2003)
Numerical Constraint Satisfaction Problems with Non-Isolated Solutions
-
-
Vu, X.-H.1
Sam-Haroud, D.2
Silaghi, M.-C.3
-
14
-
-
85169873664
-
A new framework for sharp and effective resolution of ncsps with manifolds of solutions
-
CP 2008, Sydney, Australia, Sep. 14-18
-
Goldsztein, A., and Granvilliers, L., 2008, "A New Framework for Sharp and Effective Resolution of Ncsps With Manifolds of Solutions", Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, Sep. 14-18.
-
(2008)
Principles and Practice of Constraint Programming, 14th International Conference
-
-
Goldsztein, A.1
Granvilliers, L.2
-
15
-
-
85169874286
-
-
Ph. D. thesis, Department of Chemical Engineering, Rutgers, State University of New Jersey, New Brunswick, NJ
-
Goyal, V., 2005, "Design and Synthesis of Flexible Module Based Systems", Ph. D. thesis, Department of Chemical Engineering, Rutgers, State University of New Jersey, New Brunswick, NJ.
-
(2005)
Design and Synthesis of Flexible Module Based Systems
-
-
Goyal, V.1
-
16
-
-
84949112302
-
A state bounding observer based on zonotopes
-
Cambridge, UK
-
Combastel, C., 2003, "A State Bounding Observer Based on Zonotopes", European Control Conference 2003, Cambridge, UK.
-
(2003)
European Control Conference 2003
-
-
Combastel, C.1
-
17
-
-
33947374340
-
A framework for supporting multidisciplinary engineering design exploration and life-cycle design using underconstrained problem solving
-
Yan, X.-T., and Sawada, H., 2006, "A Framework for Supporting Multidisciplinary Engineering Design Exploration and Life-Cycle Design Using Underconstrained Problem Solving", Artif. Intell. Eng. Des. Anal. Manuf., 20(4), pp. 329-350.
-
(2006)
Artif. Intell. Eng. Des. Anal. Manuf.
, vol.20
, Issue.4
, pp. 329-350
-
-
Yan, X.-T.1
Sawada, H.2
-
18
-
-
57349118422
-
-
Morgan Kaufmann, San Francisco, CA
-
Dechter, R., 2003, Constraint Processing, Morgan Kaufmann, San Francisco, CA.
-
(2003)
Constraint Processing
-
-
Dechter, R.1
-
19
-
-
33748706709
-
-
Elsevier, Amsterdam, The Netherlands
-
Rossi, F., Van Beek, P., and Walsh, T., 2006, Handbook of Constraint Programming, Elsevier, Amsterdam, The Netherlands.
-
(2006)
Handbook of Constraint Programming
-
-
Rossi, F.1
Van Beek, P.2
Walsh, T.3
-
21
-
-
0034217342
-
Constraint-based support for negotiation in collaborative design
-
Lottaz, C., Smith, I. F. C., Robert-Nicoud, Y., and Faltings, B. V., 2000, "Constraint-Based Support for Negotiation in Collaborative Design", Artif. Intell. Eng., 14, pp. 261-280.
-
(2000)
Artif. Intell. Eng.
, vol.14
, pp. 261-280
-
-
Lottaz, C.1
Smith, I.F.C.2
Robert-Nicoud, Y.3
Faltings, B.V.4
-
23
-
-
0030192694
-
Fundamentals of restricted-orientation convexity
-
Fink, E., and Wood, D., 1996, "Fundamentals of Restricted- Orientation Convexity", Inf. Sci. (N. Y), 92, pp. 175-196.
-
(1996)
Inf. Sci. (N. Y)
, vol.92
, pp. 175-196
-
-
Fink, E.1
Wood, D.2
-
24
-
-
85169875609
-
-
Computational Geometric Algorithms Library, Accessed February
-
2009, www.cgal.org, Computational Geometric Algorithms Library, Accessed February
-
(2009)
-
-
-
26
-
-
0033931867
-
Assessing the accuracy of prediction algorithms for classification: An overview
-
Baldi, P., Brunak, S., Chauvin, Y., Anderson, C. A. F., and Nielson, H., 2000, "Assessing the Accuracy of Prediction Algorithms for Classification: An Overview", Bioinformatics, 16(5), pp. 412-424.
-
(2000)
Bioinformatics
, vol.16
, Issue.5
, pp. 412-424
-
-
Baldi, P.1
Brunak, S.2
Chauvin, Y.3
Anderson, C.A.F.4
Nielson, H.5
|