1918 search results - page 340 / 384 » Embedding Data in 3D Models |
212
click to vote
TIFS
2008
15 years 5 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...
182
click to vote
TPHOL
2008
IEEE
16 years 11 days 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...
236
click to vote
RSP
1998
IEEE
15 years 10 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...
163
click to vote
ECRTS
1999
IEEE
15 years 10 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...
191
click to vote
GI
2009
Springer
15 years 3 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...