1178 search results - page 192 / 236 » Static and Dynamic Evaluation of Data Dependence Analysis |
JAR
2006
13 years 8 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
DAWAK
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Pareto dominance plays an important role in diverse application domains such as economics and e-commerce, and it is widely being used in multicriteria decision making. In...
WWW
2011
ACM
13 years 3 months ago
2011
ACM
The explosion of Web opinion data has made essential the need for automatic tools to analyze and understand people’s sentiments toward different topics. In most sentiment analy...
CODES
1999
IEEE
14 years 1 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
CIKM
2006
Springer
14 years 16 days ago
2006
Springer
We propose a method for discovering the dependency relationships between the topics of documents shared in social networks using the latent social interactions, attempting to answ...