Software

The Chorus Constraint Solver

The Chorus3D Constraint Solver

  • Maintain nonlinear geometric constraints for interactive 3D graphical applications
  • Hiroshi Hosobe, “A Geometric Constraint Library for 3D Graphical Applications,” in Proceedings of the 2nd International Symposium on Smart Graphics (SG2002), ACM International Conference Proceedings Series, Vol. 24, pp. 94–101, ACM Press, 2002. [ACM DL]

The AGI Interactive Graph Visualization System

  • Enables the interactive visualization of large undirected graphs
  • Hiroshi Hosobe, “A High-Dimensional Approach to Interactive Graph Visualization,” in Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC2004)—Multimedia and Visualization (MV) Track, Vol. 2, pp. 1253–1257, ACM Press, 2004. [ACM DL]


The SpecCp Speculative Constraint Processing System