484 search results - page 26 / 97 » Computer-Aided Computing |
INFORMATICALT
2006
13 years 7 months ago
2006
Abstract. The aim of this paper is to demonstrate that the techniques of Computer Aided Geometric Design such as spatial rational curves and surfaces could be applied to Kinematics...
SIGGRAPH
1998
ACM
13 years 11 months ago
1998
ACM
In this paper we disprove the belief widespread within the computer graphics community that Catmull-Clark subdivision surfaces cannot be evaluated directly without explicitly subd...
ADG
1998
Springer
13 years 11 months ago
1998
Springer
This paper reviews and evaluates three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation metho...
FMSD
2010
13 years 6 months ago
2010
Abstract The 2009 CAV (Computer-Aided Verification) award was presented to seven individuals who made major advances in creating high-performance Boolean satisfiability solvers. ...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...