Sciweavers

5671 search results - page 665 / 1135
» A Semantic Approach to Interpolation
Sort
View
SIGSOFT
2010
ACM
15 years 5 months ago
Staged concurrent program analysis
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
Nishant Sinha, Chao Wang
FORTE
2009
15 years 4 months ago
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
Luciano Baresi, Domenico Bianculli, Sam Guinea, Pa...
ICMCS
2009
IEEE
140views Multimedia» more  ICMCS 2009»
15 years 4 months ago
Resource-adaptive multimedia analysis on stream mining systems
Large-scale multimedia semantic concept detection requires realtime identification of a set of concepts in streaming video or large image datasets. The potentially high data volum...
Deepak S. Turaga, Rong Yan, Olivier Verscheure, Br...
IJWET
2010
86views more  IJWET 2010»
15 years 1 months ago
Semi-automatic financial events discovery based on lexico-semantic patterns
: Due to the market sensitivity to emerging news, investors on financial markets need to continuously monitor financial events when deciding on buying and selling equities. We prop...
Jethro Borsje, Frederik Hogenboom, Flavius Frasinc...
MMM
2011
Springer
368views Multimedia» more  MMM 2011»
14 years 10 months ago
Correlated PLSA for Image Clustering
Probabilistic Latent Semantic Analysis (PLSA) has become a popular topic model for image clustering. However, the traditional PLSA method considers each image (document) independen...
Peng Li, Jian Cheng, Zechao Li, Hanqing Lu