7557 search results - page 705 / 1512 » Modeling Timed Concurrent Systems |
156
click to vote
INTERSPEECH
2010
15 years 2 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...
197
Voted
ENTCS
2006
15 years 7 months ago
2006
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
160
click to vote
SIGUCCS
2005
ACM
16 years 25 days ago
2005
ACM
Lehigh University has recently implemented a new PC deployment model which is built around the Universal Imaging Utility, a product of Big Bang, LLC. This model has allowed Lehigh...
165
Voted
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
We investigate periodic time synchronization of networks without centralized control, which can be modeled as a problem of aligning local variables taking values on a circle. Sync...
203
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
We define a reduction system Ë¿ which preserves the stable semantics. This system includes two types of transformation rules. One type (which we call ˾) preserves the stable...