1918 search results - page 340 / 384 » Embedding Data in 3D Models |
TIFS
2008
13 years 9 months ago
2008
We present a theory for constructing linear subspace approximations to face-recognition algorithms and empirically demonstrate that a surprisingly diverse set of face-recognition a...
TPHOL
2008
IEEE
14 years 4 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
RSP
1998
IEEE
14 years 2 months ago
1998
IEEE
STEP is an ISO standard (ISO-10303) for the computerinterpretable representation and exchange of product data. Parts of STEP standardize conceptual structures and usage ofinformat...
ECRTS
1999
IEEE
14 years 2 months ago
1999
IEEE
In this paper we address the real-time capabilities of P-NET, which is a multi-master fieldbus standard based on a virtual token passing scheme. We show how P-NET's medium ac...
GI
2009
Springer
13 years 7 months ago
2009
Springer
Abstract: By means of RDFa it is possible to embed semantic meaning into standard XHTML web pages. Using the meaning, we provide content-sensitive user interfaces for web pages int...