860 search results - page 31 / 172 » A Process Algebra Based Verification of a Production System |
TCS
2008
13 years 7 months ago
2008
We provide translations between process algebra and systems of chemical reactions. We show that the translations preserve discrete-state (stochastic) and continuous-state (concent...
ACMICEC
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we have introduced a methodology to rank the available products in the Internet market. These rankings are based on the customers’ own preferences and also on the ...
WSCG
2003
13 years 9 months ago
2003
The processing and usage of 3D graphics and video have been becoming very important and popular in many areas. At present, some of these areas seem to grow together. 3D television...
JDCTA
2010
13 years 2 months ago
2010
In tradition probability statistics model, speaker verification threshold is instability in different test situations. A novel speaker verification method based on Support Vector ...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
Recent studies in speaker recognition have shown that scorelevel combination of subsystems can yield significant performance gains over individual subsystems. We explore the use ...