-
1
-
-
33244469768
-
Limitations of parametric operators for supporting systematic design
-
ASME.
-
BETTIG, B., BAPAT, V., AND BHARADWAJ, B. 2005. Limitations of parametric operators for supporting systematic design. In CDROM Proceedings DECT-2005, ASME International Design Engineering Technical Conferences, September 24-28, Long Beach, California, USA, ASME.
-
(2005)
CDROM Proceedings DECT-2005, ASME International Design Engineering Technical Conferences, September 24-28, Long Beach, California, USA
-
-
Bettig, B.1
Bapat, V.2
Bharadwaj, B.3
-
2
-
-
0033880195
-
Semantic feature modelling
-
BIDARRA, R., AND BRONSVOORT, W. F. 2000. Semantic feature modelling. Computer-Aided Design 32, 3, 201-225.
-
(2000)
Computer-aided Design
, vol.32
, Issue.3
, pp. 201-225
-
-
Bidarra, R.1
Bronsvoort, W.F.2
-
3
-
-
84969557131
-
On families of objects and their semantics
-
IEEE Computer Society
-
BIDARRA, R., AND BRONSVOORT, W. F. 2000. On families of objects and their semantics. In Proceedings of Geometric Modeling and Processing 2000, April 10-12, Hong Kong, China, IEEE Computer Society, 101-111.
-
(2000)
Proceedings of Geometric Modeling and Processing 2000, April 10-12, Hong Kong, China
, pp. 101-111
-
-
Bidarra, R.1
Bronsvoort, W.F.2
-
4
-
-
20444492029
-
Efficiency of boundary evaluation for a cellular model
-
BIDARRA, R., MADEIRA, J., NEELS, W., AND BRONSVOORT, W. F. 2005. Efficiency of boundary evaluation for a cellular model. Computer-Aided Design 37, 12, 1266-1284.
-
(2005)
Computer-aided Design
, vol.37
, Issue.12
, pp. 1266-1284
-
-
Bidarra, R.1
Madeira, J.2
Neels, W.3
Bronsvoort, W.F.4
-
5
-
-
33745939449
-
A feature-based solution to the persistent naming problem
-
BIDARRA, R., NYIRENDA, P. J., AND BRONSVOORT, W. F. 2005. A feature-based solution to the persistent naming problem. Computer-Aided Design and Applications 2, 1-4, 517-526.
-
(2005)
Computer-aided Design and Applications
, vol.2
, Issue.1-4
, pp. 517-526
-
-
Bidarra, R.1
Nyirenda, P.J.2
Bronsvoort, W.F.3
-
6
-
-
30344450270
-
An extensible SAT solver
-
Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers, Springer Verlag, E. Giunchiglia and A. Tacchella, Eds.
-
EEN, N., AND SÖRENSSON, N. 2004. An extensible SAT solver. In Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers, Springer Verlag, E. Giunchiglia and A. Tacchella, Eds., vol. 2919 of Lecture Notes in Computer Science.
-
(2004)
Lecture Notes in Computer Science
, vol.2919
-
-
Een, N.1
Sörensson, N.2
-
8
-
-
0032178336
-
Boundary representation deformation in parametric solid modeling
-
RAGHOTHAMA, S., AND SHAPIRO, V. 1998. Boundary representation deformation in parametric solid modeling. ACM Transactions on Graphics 17, 4, 259-286.
-
(1998)
ACM Transactions on Graphics
, vol.17
, Issue.4
, pp. 259-286
-
-
Raghothama, S.1
Shapiro, V.2
-
9
-
-
33744817792
-
Topological framework for part families
-
RAGHOTHAMA, S., AND SHAPIRO, V. 2002. Topological framework for part families. Journal of Computing and Information Science in Engineering 2, 4, 246-255.
-
(2002)
Journal of Computing and Information Science in Engineering
, vol.2
, Issue.4
, pp. 246-255
-
-
Raghothama, S.1
Shapiro, V.2
-
10
-
-
0030677573
-
The Generic Geometric Complex (CGC): A modeling scheme for families of decomposed pointsets
-
ACM Press, C. M. Hoffmann and W. F. Bronsvoort, Eds.
-
RAPPOPORT, A. 1997. The Generic Geometric Complex (CGC): a modeling scheme for families of decomposed pointsets. In Proceedings Solid Modeling '97, Fourth ACM symposium on Solid Modeling and Applications, May 14-16, Atlanta, Georgia, USA, ACM Press, C. M. Hoffmann and W. F. Bronsvoort, Eds., 19-30.
-
(1997)
Proceedings Solid Modeling '97, Fourth ACM Symposium on Solid Modeling and Applications, May 14-16, Atlanta, Georgia, USA
, pp. 19-30
-
-
Rappoport, A.1
-
11
-
-
0002351074
-
SGC: A dimension-independent model for pointsets with internal structures and incomplete boundaries
-
M. Wozny, J. Turner, and K. Preiss, Eds.
-
ROSSIGNAC, J. R., AND O'CONNOR, M. A. 1988. SGC: a dimension-independent model for pointsets with internal structures and incomplete boundaries. In Proceedings of the 1988 IFIP/NSF Workshop on Geometric Modeling, Renselaerville, New York, USA, M. Wozny, J. Turner, and K. Preiss, Eds., 145-180.
-
(1988)
Proceedings of the 1988 IFIP/NSF Workshop on Geometric Modeling, Renselaerville, New York, USA
, pp. 145-180
-
-
Rossignac, J.R.1
O'Connor, M.A.2
-
12
-
-
0029194608
-
What is a parametric family of solids?
-
ACM Press, C. M. Hoffmann and J. R. Rossignac, Eds.
-
SHAPIRO, V., AND VOSSLER, D. L. 1995. What is a parametric family of solids? In Proceedings of the Third ACM/IEEE Symposium on Solid Modeling and Applications, May 17-19, Salt Lake City, Utah, USA, ACM Press, C. M. Hoffmann and J. R. Rossignac, Eds., 43-54.
-
(1995)
Proceedings of the Third ACM/IEEE Symposium on Solid Modeling and Applications, May 17-19, Salt Lake City, Utah, USA
, pp. 43-54
-
-
Shapiro, V.1
Vossler, D.L.2
-
13
-
-
0030402207
-
Grasp - A new search algorithm for satisfiability
-
IEEE Computer Society Press
-
SILVA, J. P., AND SAKALLA, K. A. 1996. Grasp - a new search algorithm for satisfiability. In Proceedings of ICCAD 1996, IEEE/ACM International Conference on Computer-Aided Design, November 10-14, San Jose, California, USA, IEEE Computer Society Press, 220-227.
-
(1996)
Proceedings of ICCAD 1996, IEEE/ACM International Conference on Computer-Aided Design, November 10-14, San Jose, California, USA
, pp. 220-227
-
-
Silva, J.P.1
Sakalla, K.A.2
-
14
-
-
26444444656
-
Geometric constraints within feature hierarchies
-
SITHARAM, M., OUNG, J.-J., ZHOU, Y., AND ABREE, A. 2006. Geometric constraints within feature hierarchies. Computer-Aided Design 38, 1, 22-38.
-
(2006)
Computer-aided Design
, vol.38
, Issue.1
, pp. 22-38
-
-
Sitharam, M.1
Oung, J.-J.2
Zhou, Y.3
Abree, A.4
-
15
-
-
22144437759
-
An efficient method to determine the intended solution for a system of geometric constraints
-
VAN DER MEIDEN, H. A., AND BRONSVOORT, W. F. 2005. An efficient method to determine the intended solution for a system of geometric constraints. International Journal of Computational Geometry and Applications 15, 3, 279-298.
-
(2005)
International Journal of Computational Geometry and Applications
, vol.15
, Issue.3
, pp. 279-298
-
-
Van Der Meiden, H.A.1
Bronsvoort, W.F.2
-
16
-
-
0035209012
-
Efficient conflict driven learning in a boolean satisfiability solver
-
IEEE Computer Society Press
-
ZHANG, L., MADIGAN, C. F., MOSKEWICZ, M. W., AND MALIC, S. 2001. Efficient conflict driven learning in a boolean satisfiability solver. In Proceedings of ICCAD 2001, IEEE/ACM International Conference on Computer-Aided Design, November 4-8, San Jose, California, USA, IEEE Computer Society Press, 279-285.
-
(2001)
Proceedings of ICCAD 2001, IEEE/ACM International Conference on Computer-aided Design, November 4-8, San Jose, California, USA
, pp. 279-285
-
-
Zhang, L.1
Madigan, C.F.2
Moskewicz, M.W.3
Malic, S.4
|