2586 search results - page 224 / 518 » Automatic Abstraction for Congruences |
169
click to vote
SCA
2007
15 years 9 months ago
2007
We propose a method to automatically transform mesh animations into animation collages, i.e. moving assemblies of shape primitives from a database given by an artist. An animation...
149
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...
153
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Enabling a system to automatically conceptualize and annotate a human-readable table is one way to create interesting semanticweb content. But exactly "how?" is...
163
click to vote
FORTE
2008
15 years 8 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
194
click to vote
LKR
2008
15 years 8 months ago
2008
Abstract. Extensive work has been done in recent years on automatically grouping words into categories. For example, {Wednesday, Monday, Tuesday} could be grouped into a `days of w...