3082 search results - page 416 / 617 » Deviation Analysis: A New Use of Model Checking |
168
click to vote
TASLP
2010
15 years 4 months ago
2010
—We consider representing a short temporal fragment of musical audio as a dynamic texture, a model of both the timbral and rhythmical qualities of sound, two of the important asp...
148
click to vote
WISEC
2009
ACM
16 years 1 months ago
2009
ACM
Mobile ad-hoc networks are becoming ever more popular due to their flexibility, low cost, and ease of deployment. However, to achieve these benefits the network must employ a so...
234
click to vote
IADIS
2004
15 years 7 months ago
2004
As e-commerce is considered an excellent alternative for business to reach new customers, interests in design principles for e-commerce websites, are increasing. However, not many...
186
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
We present a hybrid method to turn off-the-shelf information retrieval (IR) systems into future event predictors. Given a query, a time series model is trained on the publication...
191
click to vote
CAISE
2000
Springer
15 years 10 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...