1213 search results - page 85 / 243 » Approximation in quantale-enriched categories |
82
Voted
STOC
2010
ACM
15 years 3 months ago
2010
ACM
We consider the problem of maintaining a large matching and a small vertex cover in a dynamically changing graph. Each update to the graph is either an edge deletion or an edge in...
100
Voted
AGENTS
2001
Springer
15 years 2 months ago
2001
Springer
This paper describes Icarus, an agent architecture that embeds a hierarchical reinforcement learning algorithm within a language for specifying agent behavior. An Icarus program e...
SIGGRAPH
2000
ACM
15 years 2 months ago
2000
ACM
Normal meshes are new fundamental surface descriptions inspired by differential geometry. A normal mesh is a multiresolution mesh where each level can be written as a normal offse...
SIGGRAPH
1999
ACM
15 years 2 months ago
1999
ACM
Antialiasing of ray traced images is typically performed by supersampling the image plane. While this type of filtering works well for many algorithms, it is much more efficient t...
79
Voted
TYPES
1999
Springer
15 years 2 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...