557 search results - page 77 / 112 » The L4.verified Project - Next Steps |
DAGM
2001
Springer
14 years 4 days ago
2001
Springer
We describe an Augmented Reality system using the corners of a color cube for camera calibration. In the augmented image the cube is replaced by a computer generated virtual object...
GD
2001
Springer
14 years 4 days ago
2001
Springer
Following a workshop on graph data formats held with the 8th Symposium on Graph Drawing (GD 2000), a task group was formed to propose a format for graphs and graph drawings that me...
ICAPR
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. In this contribution, a novel and robust, geometry-based grouping strategy is proposed. Repeated, planar patterns in special relative positions are detected. The grouping...
UM
2001
Springer
14 years 2 days ago
2001
Springer
: Student modeling approaches predominantly focus on modeling student knowledge. For effective learning, however, it is necessary to teach students how to learn, as well as to prov...
COMPGEOM
2000
ACM
14 years 20 hour ago
2000
ACM
The algorithms for computing a shortest path on a polyhedral surface are slow, complicated, and numerically unstable. We have developed and implemented a robust and efficient algo...