10910 search results - page 163 / 2182 » Input modeling using a computer algebra system |
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
Abstract. Rent's rule and related concepts of connectivity such as dimensionality, line-length distributions, and separators have found great use in fundamental studies of di ...
INTERSPEECH
2010
14 years 4 months ago
2010
Last year, we showed that the computation of a GMM-UBMbased speaker verification (SV) system may be sped up by 30 times by using a high-density discrete model (HDDM) on the NIST 2...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a project to improve the public transportation in the city of Huajuapan de Le?n, Oaxaca, M?xico. Interactive Multimedia Stations (EMI, for its Spanish acronym)...
DATE
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
76
Voted
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
AbstractāThis paper examines the economics of cloud computing charging from the perspective of a supercomputing resource provider offering its own resources. To evaluate the comp...