992 search results - page 123 / 199 » Transfer Function Fusing |
POPL
2009
ACM
14 years 10 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
KDD
2008
ACM
14 years 10 months ago
2008
ACM
Traditional spectral classification has been proved to be effective in dealing with both labeled and unlabeled data when these data are from the same domain. In many real world ap...
COMPGEOM
2009
ACM
14 years 4 months ago
2009
ACM
We consider a number of range reporting problems in two and three dimensions and prove lower bounds on the amount of space used by any cache-oblivious data structure for these pro...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
— Being able to localize the origin of a sound is important for our capability to interact with the environment. Humans can localize a sound source in both the horizontal and ver...
ISQED
2006
IEEE
14 years 3 months ago
2006
IEEE
— In this paper, we propose an efficient model order reduction (MOR) algorithm, called MTermMOR, for modeling interconnect circuits with large number of external ports. The prop...