1078 search results - page 153 / 216 » Modelling and Verifying of e-Commerce Systems |
148
click to vote
JCDL
2009
ACM
15 years 11 months ago
2009
ACM
Recent years have seen the rise of subject-themed digital libraries, such as the NSDL pathways and the Digital Library for Earth System Education (DLESE). These libraries often ne...
151
click to vote
ISMIR
2000
Springer
15 years 8 months ago
2000
Springer
We examine in some detail Mel Frequency Cepstral Coefficients (MFCCs) - the dominant features used for speech recognition - and investigate their applicability to modeling music. ...
133
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
In authorization-transparent access control, users formulate their queries against the database schema rather than against authorization views that transform and hide data. The Tru...
121
click to vote
LCN
2000
IEEE
15 years 9 months ago
2000
IEEE
Performance evaluation and reliability prediction are two important factors in the study of multiprocessor and cluster interconnects. One such interconnect is the Scalable Coheren...
155
click to vote
SIAMSC
2008
15 years 4 months ago
2008
Abstract. A model for the flow of calcium in an atrial heart cell is given by a system of timedependent reaction-diffusion equations coupled by non-linear reaction terms. Calcium i...