Sciweavers

3863 search results - page 394 / 773
» Function in Device Representation
Sort
View
PSIVT
2009
Springer
143views Multimedia» more  PSIVT 2009»
15 years 11 months ago
Image-Based Rendering by Virtual 1D Cameras
Image-based rendering (IBR) has been used to synthesize images corresponding to a new view point from stored images. Rendering methods based on a three-dimensional plenoptic functi...
Naoyuki Ichimura
GLVLSI
2000
IEEE
87views VLSI» more  GLVLSI 2000»
15 years 11 months ago
Speeding up symbolic model checking by accelerating dynamic variable reordering
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
Christoph Meinel, Christian Stangier
SBRN
2000
IEEE
15 years 11 months ago
Evolutionary Optimization of RBF Networks
One of the main obstacles to the widespread use of artijcial neural networks is the difJiculty of adequately define valuesfor their free parameters. This article discusses how Rad...
Estefane G. M. de Lacerda, Teresa Bernarda Ludermi...
BIRTHDAY
2000
Springer
15 years 11 months ago
Bistructures, bidomains, and linear logic
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
Pierre-Louis Curien, Gordon D. Plotkin, Glynn Wins...
ASPDAC
1999
ACM
157views Hardware» more  ASPDAC 1999»
15 years 11 months ago
A Genetic Algorithm based Approach for Multi-Objective Data-Flow Graph Optimization
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...
Birger Landwehr