Sciweavers

3299 search results - page 130 / 660
» A general mathematics of names
Sort
View
VISUALIZATION
2000
IEEE
15 years 10 months ago
Four-dimensional non-linear ray tracing as a visualization tool for gravitational physics
In this paper, general relativistic ray tracing is presented as a tool for gravitational physics. It is shown how standard three-dimensional ray tracing can be extended to allow f...
Daniel Weiskopf
ISPD
1998
ACM
88views Hardware» more  ISPD 1998»
15 years 10 months ago
An efficient technique for device and interconnect optimization in deep submicron designs
In this paper, we formulate a new class of optimization problem, named the general CH-posynomial program, and reveal the general dominance property. We propose an efcient algorith...
Jason Cong, Lei He
ADBIS
1997
Springer
109views Database» more  ADBIS 1997»
15 years 10 months ago
A Graphical Yet Formalized Framework for Specifying View Systems
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
Zinovy Diskin, Boris Cadish
MFPS
1993
15 years 10 months ago
Some Quasi-Varieties of Iteration Theories
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...
Stephen L. Bloom, Zoltán Ésik
NCI
2004
125views Neural Networks» more  NCI 2004»
15 years 7 months ago
A new approach to blind source separation with global optimal property
This paper presents a new independency metric for blind source separation (BSS) problem. It is mathematically proved that the metric value of any linear combination of source sign...
Yiu-ming Cheung, Hailin Liu