3690 search results - page 527 / 738 » Computation with classical sequents |
164
click to vote
CCA
2009
Springer
16 years 1 days ago
2009
Springer
In the theory of algorithmic randomness, several notions of random sequence are defined via a game-theoretic approach, and the notions that received most attention are perhaps Mar...
148
click to vote
CCGRID
2008
IEEE
15 years 12 months ago
2008
IEEE
—The application and research area of Multimedia Content Analysis (MMCA) considers all aspects of the automated extraction of new knowledge from large multimedia data streams and...
145
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Computational Grids potentially offer cheap large-scale high-performance systems, but are a very challenging architecture, being heterogeneous, shared and hierarchical. Rather tha...
172
click to vote
VW
2000
Springer
15 years 9 months ago
2000
Springer
This article describes a 3D biomechanical simulation of a salamander to be used in experiments in computational neuroethology. The physically-based simulation represents the salama...
174
click to vote
SIGGRAPH
1995
ACM
15 years 9 months ago
1995
ACM
In this paper we describe a new tool for interactive free-form fair surface design. By generalizing classical discrete Fourier analysis to two-dimensional discrete surface signals...