2117 search results - page 75 / 424 » A Metadata Model for Capturing Presentations |
IANDC
1998
13 years 7 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
PRESENCE
2002
13 years 7 months ago
2002
This paper presents a method for creating 3D models of real objects using video see-through augmented reality. We use a tracked probe to sample the objects' geometries and vi...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—This paper presents a new economic approach for studying competition and innovation in a complex and highly interactive system of network providers, users, and suppliers of digi...
UC
2005
Springer
14 years 1 months ago
2005
Springer
We present a theoretical model for self-assembling tiles with flexible branches motivated by DNA branched junction molecules. We encode an instance of a “problem” as a pot of ...
ISMAR
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents a new technique we have created, known as Bread Crumbs, which allows the modelling of large outdoor ground features using a mobile augmented reality system and...