Sciweavers

2539 search results - page 300 / 508
» Semantic frameworks for e-government
Sort
View
SIGSOFT
2010
ACM
15 years 4 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...
CIDR
2011
224views Algorithms» more  CIDR 2011»
14 years 10 months ago
Transactional Intent
Data state in a data management system such as a database is the result of the transactions performed on that data management system. Approaches such as single-message transaction...
Shel Finkelstein, Thomas Heinzel, Rainer Brendle, ...
EMNLP
2011
14 years 6 months ago
Compositional Matrix-Space Models for Sentiment Analysis
We present a general learning-based approach for phrase-level sentiment analysis that adopts an ordinal sentiment scale and is explicitly compositional in nature. Thus, we can mod...
Ainur Yessenalina, Claire Cardie
ICPR
2006
IEEE
16 years 7 months ago
A Coarse-to-Fine Strategy for Vehicle Motion Trajectory Clustering
High-level semantic understanding of vehicle motion behaviors is often based on vehicle motion trajectory clustering. In this paper, we propose an effective trajectory clustering ...
Wei Hu, Weiming Hu, Xi Li