854 search results - page 132 / 171 » Addressing Dynamic Issues of Program Model Checking |
130
click to vote
CIKM
2004
Springer
15 years 7 months ago
2004
Springer
Recently, a large amount of work has been done in XML data mining. However, we observed that most of the existing works focus on the snapshot XML data, while XML data is dynamic i...
125
click to vote
SIGECOM
2000
ACM
15 years 6 months ago
2000
ACM
We introduce an information bundling model that addresses two important but relatively unstudied issues in real markets for information goods: automated customization of content b...
101
click to vote
WSC
2008
15 years 4 months ago
2008
Traditionally call centres were based on circuit-switched systems. But with the advancement of communication technologies, call centres have shifted to packet-switched systems. Th...
128
click to vote
TASLP
2002
15 years 1 months ago
2002
This paper presents a framework for maximum a posteriori (MAP) speaker adaptation of state duration distributions in hidden Markov models (HMM). Four key issues of MAP estimation, ...
130
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...