1178 search results - page 192 / 236 » Static and Dynamic Evaluation of Data Dependence Analysis |
175
click to vote
JAR
2006
15 years 5 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...
147
click to vote
DAWAK
2007
Springer
16 years 1 days 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...
342
Voted
WWW
2011
ACM
15 years 10 days 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...
187
click to vote
CODES
1999
IEEE
15 years 10 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...
180
Voted
CIKM
2006
Springer
15 years 9 months 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...