Sciweavers

304 search results - page 54 / 61
» Generalized interpolation in CASL
Sort
View
ADCM
2004
74views more  ADCM 2004»
13 years 7 months ago
Extremal Systems of Points and Numerical Integration on the Sphere
This paper considers extremal systems of points on the unit sphere Sr Rr+1, related problems of numerical integration and geometrical properties of extremal systems. Extremal sys...
Ian H. Sloan, Robert S. Womersley
TVCG
2008
140views more  TVCG 2008»
13 years 7 months ago
Efficient Morse Decompositions of Vector Fields
Vector field analysis plays a crucial role in many engineering applications, such as weather prediction, tsunami and hurricane study, and airplane and automotive design. Existing ...
Guoning Chen, Konstantin Mischaikow, Robert S. Lar...
TCS
2002
13 years 7 months ago
Logical systems for structured specifications
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wi...
Tomasz Borzyszkowski
NECO
2010
147views more  NECO 2010»
13 years 5 months ago
Connectivity, Dynamics, and Memory in Reservoir Computing with Binary and Analog Neurons
Abstract: Reservoir Computing (RC) systems are powerful models for online computations on input sequences. They consist of a memoryless readout neuron which is trained on top of a ...
Lars Büsing, Benjamin Schrauwen, Robert A. Le...
ICIP
2010
IEEE
13 years 5 months ago
Joint color decrosstalk and demosaicking for CFA cameras
In interest of low cost, low power consumption, and compact size, most digital cameras adopt a design of single sensor array coupled with a color filter array. This design inevita...
Xiaolin Wu, Xiangjun Zhang