738 search results - page 117 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
124
Voted
IPL
2006
15 years 2 months ago
2006
Weighted threshold functions with positive weights are a natural generalization of unweighted threshold functions. These functions are clearly monotone. However, the naive way of ...
168
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
169
Voted
APSCC
2010
IEEE
15 years 25 days ago
2010
IEEE
Software as a service (SaaS) is an emerging software framework in which business data and logic typically integrate with other applications. It requires a unified subscriber to des...
126
click to vote
HT
2009
ACM
15 years 16 days ago
2009
ACM
The online games market has matured in recent years. It is now a multi-billion dollar business with hundreds of millions players worldwide. At the same time, social networking pla...
131
Voted
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
We are interested in a general alpha matting approach for the simultaneous extraction of multiple image layers; each layer may have disjoint segments for material matting not limi...