-
1
-
-
0028368683
-
Solving Sisyphus by design
-
Balkany, A., Birmingham, W.P., & Runkel, J.T. (1994). Solving Sisyphus by design. International Journal of Human-Computer Studies 40(2), 221-241.
-
(1994)
International Journal of Human-Computer Studies
, vol.40
, Issue.2
, pp. 221-241
-
-
Balkany, A.1
Birmingham, W.P.2
Runkel, J.T.3
-
2
-
-
84972073797
-
An analysis of several design tools
-
Balkany, A., Birmingham, W.P., & Tommelein, I.D. (1993). An analysis of several design tools. AI EDAM 7(1), 1-17.
-
(1993)
AI EDAM
, vol.7
, Issue.1
, pp. 1-17
-
-
Balkany, A.1
Birmingham, W.P.2
Tommelein, I.D.3
-
3
-
-
0042515241
-
Supporting multiple perspectives: A constraint-based approach to concurrent engineering
-
Kluwer Academic Publishers, Dordrecht, the Netherlands
-
Bowen, J., & Bahler, D. (1992). Supporting multiple perspectives: a constraint-based approach to concurrent engineering. In Artificial Intelligence in Design '92, pp. 85-96. Kluwer Academic Publishers, Dordrecht, the Netherlands.
-
(1992)
Artificial Intelligence in Design '92
, pp. 85-96
-
-
Bowen, J.1
Bahler, D.2
-
4
-
-
0025508474
-
A constraint programming language for Life-Cycle Engineering
-
Bowen, J., O'Grady, P., & Smith, L. (1990). A constraint programming language for Life-Cycle Engineering. Artificial Intelligence in Engineering 5(4), 206-220.
-
(1990)
Artificial Intelligence in Engineering
, vol.5
, Issue.4
, pp. 206-220
-
-
Bowen, J.1
O'Grady, P.2
Smith, L.3
-
5
-
-
0026404491
-
An intelligent real time design methodology for catalog selection
-
Bradley, S.R., & Agogino, A.M. (1991). An intelligent real time design methodology for catalog selection. Design Theory and Methodology - ASME 1991, 201-208.
-
(1991)
Design Theory and Methodology - ASME
, vol.1991
, pp. 201-208
-
-
Bradley, S.R.1
Agogino, A.M.2
-
6
-
-
0027847109
-
Computer-assisted catalog selection with multiple objectives
-
Bradley, S.R., & Agogino, A.M. (1993). Computer-assisted catalog selection with multiple objectives. Design Theory and Methodology-ASME 1993, 139-147.
-
(1993)
Design Theory and Methodology- ASME
, vol.1993
, pp. 139-147
-
-
Bradley, S.R.1
Agogino, A.M.2
-
7
-
-
0026258186
-
Multistage negotiation for distributed constraint satisfaction
-
Conry, S.E., Kuwabara, K., Lesser, V.R., & Meyer, R.A. (1991). Multistage negotiation for distributed constraint satisfaction. IEEE Transactions on Systems, Man, and Cybernetics 21(6), 1462-1477.
-
(1991)
IEEE Transactions on Systems, Man, and Cybernetics
, vol.21
, Issue.6
, pp. 1462-1477
-
-
Conry, S.E.1
Kuwabara, K.2
Lesser, V.R.3
Meyer, R.A.4
-
8
-
-
0024771631
-
An optimal k-consistency algorithm
-
Cooper, M.C. (1989). An optimal k-consistency algorithm. Artificial Intelligence 41(1), 89-95.
-
(1989)
Artificial Intelligence
, vol.41
, Issue.1
, pp. 89-95
-
-
Cooper, M.C.1
-
9
-
-
84945714854
-
PACT: An experiment in integrating concurrent engineering systems
-
Cutkosky, M.R., Engelmore, R.S., Fikes, R.E., Genesereth, M.R., Gruber, T.R., Mark, W.S., Tenenbaum, J.M., & Weber, J.C. (1993). PACT: an experiment in integrating concurrent engineering systems. IEEE Computer 26(1), 28-37.
-
(1993)
IEEE Computer
, vol.26
, Issue.1
, pp. 28-37
-
-
Cutkosky, M.R.1
Engelmore, R.S.2
Fikes, R.E.3
Genesereth, M.R.4
Gruber, T.R.5
Mark, W.S.6
Tenenbaum, J.M.7
Weber, J.C.8
-
10
-
-
5244261763
-
Concurrent engineering: An automated design-space exploration approach
-
Gu, P., & Kusiak, A., Eds., Elsevier Science Publishers, New York
-
Darr, T.P., & Birmingham, W.P. (1993). Concurrent engineering: an automated design-space exploration approach. In Concurrent Engineering: Methodology and Applications (Gu, P., & Kusiak, A., Eds.), pp. 91-115. Elsevier Science Publishers, New York.
-
(1993)
Concurrent Engineering: Methodology and Applications
, pp. 91-115
-
-
Darr, T.P.1
Birmingham, W.P.2
-
11
-
-
0028531386
-
Automated design for concurrent engineering
-
Darr, T.P., & Birmingham, W.P. (1994). Automated design for concurrent engineering. IEEE Expert 9(5), 35-42.
-
(1994)
IEEE Expert
, vol.9
, Issue.5
, pp. 35-42
-
-
Darr, T.P.1
Birmingham, W.P.2
-
12
-
-
0023386175
-
Constraint propagation with interval labels
-
Davis, E. (1987). Constraint propagation with interval labels. Artificial Intelligence 32(3), 281-331.
-
(1987)
Artificial Intelligence
, vol.32
, Issue.3
, pp. 281-331
-
-
Davis, E.1
-
13
-
-
0025228149
-
Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition
-
Dechter, R. (1990). Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition. Artificial Intelligence 41(3), 273-312.
-
(1990)
Artificial Intelligence
, vol.41
, Issue.3
, pp. 273-312
-
-
Dechter, R.1
-
14
-
-
0026154176
-
Temporal constraint networks
-
Dechter, R., Meiri, I., & Pearl, J. (1991). Temporal constraint networks. Artificial Intelligence 49(1-3), 61-95.
-
(1991)
Artificial Intelligence
, vol.49
, Issue.1-3
, pp. 61-95
-
-
Dechter, R.1
Meiri, I.2
Pearl, J.3
-
17
-
-
0009455564
-
An efficient arc consistency algorithm for a class of CSP problems
-
Morgan Kaufmann Publishers, San Mateo, California
-
Deville, Y., & Van Hentenryck, P. (1991). An efficient arc consistency algorithm for a class of CSP problems. In Proc. 12th International Joint Conference on Artificial Intelligence, pp. 325-330. Morgan Kaufmann Publishers, San Mateo, California.
-
(1991)
Proc. 12th International Joint Conference on Artificial Intelligence
, pp. 325-330
-
-
Deville, Y.1
Van Hentenryck, P.2
-
18
-
-
0002883087
-
The constraint logic programming language CHIP
-
Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T., & Berthier, F. (1988). The constraint logic programming language CHIP. In Proc. International Conference on Fifth Generation Computer Systems, 693-702.
-
(1988)
Proc. International Conference on Fifth Generation Computer Systems
, pp. 693-702
-
-
Dincbas, M.1
Van Hentenryck, P.2
Simonis, H.3
Aggoun, A.4
Graf, T.5
Berthier, F.6
-
19
-
-
0028375869
-
Arc-consistency for continuous variables
-
Faltings, B. (1994). Arc-consistency for continuous variables. Artificial Intelligence 65(2), 363-376.
-
(1994)
Artificial Intelligence
, vol.65
, Issue.2
, pp. 363-376
-
-
Faltings, B.1
-
21
-
-
0018031196
-
Synthesizing constraint expressions
-
Freuder, E.C. (1978). Synthesizing constraint expressions. Communications of ACM 21(11), 958-966.
-
(1978)
Communications of ACM
, vol.21
, Issue.11
, pp. 958-966
-
-
Freuder, E.C.1
-
22
-
-
84959244144
-
Complexity of K-tree structured constraint satisfaction problems
-
AAAI Press/MIT Press, Boston
-
Freuder, E.C. (1990). Complexity of K-tree structured constraint satisfaction problems. In Eighth National Conference on Artificial Intelligence (AAAI-90), pp. 4-9. AAAI Press/MIT Press, Boston.
-
(1990)
Eighth National Conference on Artificial Intelligence (AAAI-90)
, pp. 4-9
-
-
Freuder, E.C.1
-
23
-
-
0027577447
-
Automating the design of computer systems
-
Gupta, A.P., Birmingham, W.P., & Siewiorek, D.P. (1993). Automating the design of computer systems. IEEE Transactions on Computer-Aided Design of integrated Circuits and Systems 12(4), 473-487.
-
(1993)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
, vol.12
, Issue.4
, pp. 473-487
-
-
Gupta, A.P.1
Birmingham, W.P.2
Siewiorek, D.P.3
-
24
-
-
0019067870
-
Increasing tree search efficiency for constraint satisfaction problems
-
Haralick, R.M., & Elliott, G.L. (1980). Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence 14(3), 263-313.
-
(1980)
Artificial Intelligence
, vol.14
, Issue.3
, pp. 263-313
-
-
Haralick, R.M.1
Elliott, G.L.2
-
25
-
-
0010580129
-
Automated concurrent engineering in Designworld
-
Huyhn, P.N., Genesereth, M.R., & Letsinger, R. (1993). Automated concurrent engineering in Designworld. IEEE Computer 26(1), 74-76.
-
(1993)
IEEE Computer
, vol.26
, Issue.1
, pp. 74-76
-
-
Huyhn, P.N.1
Genesereth, M.R.2
Letsinger, R.3
-
26
-
-
44049111346
-
Constraint reasoning based on interval arithmetic: The tolerance propagation approach
-
Hyvonen, E. (1992). Constraint reasoning based on interval arithmetic: the tolerance propagation approach. Artificial Intelligence 58(1-3), 71-112.
-
(1992)
Artificial Intelligence
, vol.58
, Issue.1-3
, pp. 71-112
-
-
Hyvonen, E.1
-
27
-
-
0027878962
-
Structuring information and coordinating teams in product development
-
Kannapan, S.M., Bell, D.G., & Taylor, D.L. (1993). Structuring information and coordinating teams in product development. Design Theory and Methodology - ASME 1993, 233-242.
-
(1993)
Design Theory and Methodology - ASME
, vol.1993
, pp. 233-242
-
-
Kannapan, S.M.1
Bell, D.G.2
Taylor, D.L.3
-
29
-
-
0002514541
-
Algorithms for constraint-satisfaction problems: A survey
-
Kumar, V. (1992). Algorithms for constraint-satisfaction problems: a survey. AI Magazine 13(1), 32-44.
-
(1992)
AI Magazine
, vol.13
, Issue.1
, pp. 32-44
-
-
Kumar, V.1
-
32
-
-
0026256679
-
A retrospective of FA/C distributed problem solving
-
Lesser, V.R. (1991). A retrospective of FA/C distributed problem solving. IEEE Transactions on Systems, Man, and Cybernetics 21(6), 1347-1362.
-
(1991)
IEEE Transactions on Systems, Man, and Cybernetics
, vol.21
, Issue.6
, pp. 1347-1362
-
-
Lesser, V.R.1
-
33
-
-
49449120803
-
Consistency in networks of relations
-
Mackworth, A.K. (1977). Consistency in networks of relations. Artificial Intelligence 8(1), 99-118.
-
(1977)
Artificial Intelligence
, vol.8
, Issue.1
, pp. 99-118
-
-
Mackworth, A.K.1
-
34
-
-
0001860711
-
VT: An expert elevator designer that uses knowledge-based backtracking
-
Marcus, S., Stout, J., & McDermott, J. (1988). VT: an expert elevator designer that uses knowledge-based backtracking. AI Magazine 9(1), 95-112.
-
(1988)
AI Magazine
, vol.9
, Issue.1
, pp. 95-112
-
-
Marcus, S.1
Stout, J.2
McDermott, J.3
-
38
-
-
0026261409
-
An intelligent agent framework for enterprise integration
-
Pan, J.Y.C., & Tenenbaum, J.M. (1991). An intelligent agent framework for enterprise integration. IEEE Transactions on Systems, Man, and Cybernetics 21(6), 1391-1408.
-
(1991)
IEEE Transactions on Systems, Man, and Cybernetics
, vol.21
, Issue.6
, pp. 1391-1408
-
-
Pan, J.Y.C.1
Tenenbaum, J.M.2
-
39
-
-
0028622182
-
An agentbased approach to concurrent cable harness design
-
Park, H., Cutkosky, M.R., Conru, A.B., & Lee, S.-H. (1994). An agentbased approach to concurrent cable harness design. AI EDAM 8(1), 45-61.
-
(1994)
AI EDAM
, vol.8
, Issue.1
, pp. 45-61
-
-
Park, H.1
Cutkosky, M.R.2
Conru, A.B.3
Lee, S.-H.4
-
40
-
-
0001884464
-
Computer support for concurrent engineering
-
Ramana Reddy, Y.V., Srinivas, K., Jagannathan, V., & Karinthi, R. (1993). Computer support for concurrent engineering. IEEE Computer 26(1), 12-16.
-
(1993)
IEEE Computer
, vol.26
, Issue.1
, pp. 12-16
-
-
Ramana Reddy, Y.V.1
Srinivas, K.2
Jagannathan, V.3
Karinthi, R.4
-
41
-
-
5244263311
-
Solving VT by reuse
-
SRDG Publications, Department of Computer Science, University of Calgary, Calgary, Alberta, Canada
-
Runkel, J.T., & Birmingham, W.P. (1994). Solving VT by reuse. In Proceedings of the 8th Banff Knowledge-Acquisition for Knowledge Based Systems Workshop, pp. 42.1-42.28, SRDG Publications, Department of Computer Science, University of Calgary, Calgary, Alberta, Canada.
-
(1994)
Proceedings of the 8th Banff Knowledge-Acquisition for Knowledge Based Systems Workshop
-
-
Runkel, J.T.1
Birmingham, W.P.2
-
43
-
-
0026256480
-
Distributed constrained heuristic search
-
Sycara, K., Roth, S., Sadeh, N., & Fox, M. (1991). Distributed constrained heuristic search. IEEE Transactions on Systems, Man, and Cybernetics 21(6), 1446-1461.
-
(1991)
IEEE Transactions on Systems, Man, and Cybernetics
, vol.21
, Issue.6
, pp. 1446-1461
-
-
Sycara, K.1
Roth, S.2
Sadeh, N.3
Fox, M.4
-
46
-
-
0002868937
-
Constraint satisfaction using logic programming
-
Van Hentenryck, P., Simonis, H., & Dincbas, M. (1992). Constraint satisfaction using logic programming. Artificial Intelligence 58(1-3), 113-159.
-
(1992)
Artificial Intelligence
, vol.58
, Issue.1-3
, pp. 113-159
-
-
Van Hentenryck, P.1
Simonis, H.2
Dincbas, M.3
-
47
-
-
84972029180
-
Extending the constraint propagation of intervals
-
Ward, A.C., Lozano-Perez, T., & Seering, W. (1990). Extending the constraint propagation of intervals. AI EDAM 4(1), 47-54.
-
(1990)
AI EDAM
, vol.4
, Issue.1
, pp. 47-54
-
-
Ward, A.C.1
Lozano-Perez, T.2
Seering, W.3
-
48
-
-
5844235581
-
The performance of a mechamcal design "compiler"
-
Ward, A.C., & Seering, W.P. (1989). The performance of a mechamcal design "compiler." MIT AI Memo 1084.
-
(1989)
MIT AI Memo 1084
-
-
Ward, A.C.1
Seering, W.P.2
-
49
-
-
0027557056
-
Quantitative inference in a mechanical design compiler
-
Ward, A.C., & Seering, W.P. (1993). Quantitative inference in a mechanical design compiler. ASME Journal of Mechanical Design 115(1), 29-35.
-
(1993)
ASME Journal of Mechanical Design
, vol.115
, Issue.1
, pp. 29-35
-
-
Ward, A.C.1
Seering, W.P.2
-
50
-
-
0009380293
-
Multiple agent cooperative design evaluation using negotiation
-
Kluwer Academic Publishers, Dordrecht, the Netherlands
-
Werkman, K.J. (1992). Multiple agent cooperative design evaluation using negotiation. In Artificial Intelligence in Design '94, pp. 161-180, Kluwer Academic Publishers, Dordrecht, the Netherlands.
-
(1992)
Artificial Intelligence in Design '94
, pp. 161-180
-
-
Werkman, K.J.1
-
51
-
-
85043435920
-
Distributed constraint satisfaction for formalizing distributed problem solving
-
IEEE Computer Society, Los Alamitos, California
-
Yokoo, M., Durfee, E.H., Ishida.T., & Kuwabara, K. (1992). Distributed constraint satisfaction for formalizing distributed problem solving. In Twelfth international Conference on Distributed Computing Systems, pp. 614-621, IEEE Computer Society, Los Alamitos, California.
-
(1992)
Twelfth International Conference on Distributed Computing Systems
, pp. 614-621
-
-
Yokoo, M.1
Durfee, E.H.2
Ishida, T.3
Kuwabara, K.4
|