5203 search results - page 858 / 1041 » An approach to workflow modeling and analysis |
152
click to vote
EWC
2007
15 years 6 months ago
2007
This paper describes and exercises a new design paradigm for cast components. The methodology integrates foundry process simulation, non-destructive evaluation (nde), stress analys...
226
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
229
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
189
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
Most current image retrieval systems and commercial search engines use mainly text annotations to index and retrieve WWW images. This research explores the use of machine learning...
293
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
In this paper, we present a stream-based mining algorithm for online anomaly prediction. Many real-world applications such as data stream analysis requires continuous cluster opera...