559 search results - page 36 / 112 » Augmented Marked Graphs |
ML
2008
ACM
13 years 8 months ago
2008
ACM
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...
VL
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, D...
ISMAR
2005
IEEE
14 years 2 months ago
2005
IEEE
Recently Augmented Reality (AR) technology has been used to develop the next generation collaborative interfaces. First results have shown the value of using AR for co-located tas...
ISMAR
2002
IEEE
14 years 1 months ago
2002
IEEE
We conducted two experiments comparing users’ communication behaviors of co-located users in collaborative augmented reality (AR) interfaces. In the first experiment, we compare...
CHINZ
2007
ACM
14 years 26 days ago
2007
ACM
This paper describes how a mobile phone can be used as a six degree of freedom interaction device for 3D mesh editing. Using a video see-through Augmented Reality approach, the mo...