16883 search results - page 2863 / 3377 » Generalized Non-Reducible Descriptors |
252
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
226
click to vote
ACMACE
2006
ACM
16 years 1 months ago
2006
ACM
Future digital entertainment services available to home users will share several characteristics: i) they will be deployed and delivered through the Internet, ii) a single media c...
188
click to vote
ACMACE
2006
ACM
16 years 1 months ago
2006
ACM
Ambient Video is an emergent cultural phenomenon, with roots that go deeply into the history of experimental film and video art. Ambient Video, like Brian Eno's ambient music...
212
click to vote
ACMACE
2006
ACM
16 years 1 months ago
2006
ACM
Interactive synthetic environments are currently used in a wide variety of applications, including video games, exposure therapy, education, and training. Their success in such do...
243
click to vote
ACMICEC
2006
ACM
16 years 1 months ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...