154 search results - page 10 / 31 » group 1997 |
CA
1997
IEEE
13 years 11 months ago
1997
IEEE
In this paper we present a framework for behavioural simulation. A uniform voxel space representation is used to implement the environment mechanism of the framework. An example e...
TPHOL
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
CHI
1997
ACM
13 years 11 months ago
1997
ACM
An ecological-cognitive framework of analysis and a model-tracing architecture are presented and used in the analysis of data recorded from users browsing a large document collect...
RT
1997
Springer
13 years 11 months ago
1997
Springer
Abstract: This paper surveys global illumination algorithms for environments including participating media and accounting for multiple scattering. The objective of this survey is t...
VLDB
1997
ACM
13 years 11 months ago
1997
ACM
Wedescribethedesign,implementationanduser evaluationof QUIVER,agraph-basedvisualquery languageforobjectdatabases.Thedesigngoalsof QUIVERincludecomplianceto standards,comprehensive...