2647 search results - page 343 / 530 » Solving Term Inequalities |
156
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- We present a bus arbitration scheme for soft real-time constrained embedded systems. Some masters in such systems are required to complete their work for given timing constraints...
190
click to vote
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
Non-negative matrix factorization (NMF) and non-negative tensor factorization (NTF) have attracted much attention and have been successfully applied to numerous data analysis probl...
162
click to vote
CHIMIT
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents an innovative approach to solve the problem of missing transparency of competencies within virtual organizations. We based our work on empirical studies to cop...
146
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
169
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
We study the problem of finding the k most frequent items in a stream of items for the recently proposed max-frequency measure. Based on the properties of an item, the maxfrequen...