2253 search results - page 359 / 451 » Computing with Realizational Morphology |
95
Voted
ISMAR
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we propose a system that displays digital documents on real paper surface with arbitrary shape, so that the viewer can feel as if the digital document images are pr...
LCN
2003
IEEE
15 years 6 months ago
2003
IEEE
Studies of mobile ad-hoc networks are often based on simulation and their underlying, necessarily simplified assumptions of physical reality. In order to analyse the practical pro...
116
Voted
LICS
2003
IEEE
15 years 6 months ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
112
Voted
MSS
2003
IEEE
15 years 6 months ago
2003
IEEE
When data resides on tertiary storage, clustering is the key to achieving high retrieval performance. However, a straightforward approach to clustering massive amounts of data on ...
127
click to vote
PG
2003
IEEE
15 years 6 months ago
2003
IEEE
In the present paper, we propose a particle-based method for the visual simulation of explosive flames. This method consists of a numerical simulation method based on a fluid mode...