Sciweavers

1740 search results - page 258 / 348
» Minimal structures for stories
Sort
View
CSL
1999
Springer
15 years 4 months ago
Pre-logical Relations
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
Furio Honsell, Donald Sannella
MICRO
1998
IEEE
128views Hardware» more  MICRO 1998»
15 years 4 months ago
Putting the Fill Unit to Work: Dynamic Optimizations for Trace Cache Microprocessors
The fill unit is the structure which collects blocks of instructions and combines them into multi-block segments for storage in a trace cache. In this paper, we expand the role of...
Daniel H. Friendly, Sanjay J. Patel, Yale N. Patt
PODS
1998
ACM
152views Database» more  PODS 1998»
15 years 4 months ago
A Cost Model for Similarity Queries in Metric Spaces
We consider the problem of estimating CPU (distance computations) and I/O costs for processing range and k-nearest neighbors queries over metric spaces. Unlike the specific case ...
Paolo Ciaccia, Marco Patella, Pavel Zezula
SIGGRAPH
1998
ACM
15 years 4 months ago
Interactive Multi-Resolution Modeling on Arbitrary Meshes
During the last years the concept of multi-resolution modeling has gained special attention in many fields of computer graphics and geometric modeling. In this paper we generaliz...
Leif Kobbelt, Swen Campagna, Jens Vorsatz, Hans-Pe...
EVOW
1998
Springer
15 years 4 months ago
Blurred Vision: Simulation-Reality Transfer of a Visually Guided Robot
This paper investigates the evolution of robot controllers utilising only visual environment input data, capable of performing a hard task, playing football, in the real world. Th...
Tom M. C. Smith