3690 search results - page 212 / 738 » Computation with classical sequents |
DAC
2003
ACM
16 years 1 months ago
2003
ACM
In some cases, minimum Sum-Of-Products (SOP) expressions of Boolean functions can be derived by detecting decomposition and observing the functional properties such as unateness, ...
101
Voted
DCC
2009
IEEE
16 years 1 months ago
2009
IEEE
Multiple Description (MD) source coding is a method to overcome unexpected information loss in a diversity system such as the internet, or a wireless network. While classic MD cod...
108
click to vote
CHI
2008
ACM
16 years 1 months ago
2008
ACM
So called intractable conflicts may benefit from more modest and socially oriented approaches than those based on classical conflict resolution techniques. This paper is inspired ...
107
Voted
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Multi-class classification schemes typically require human input in the form of precise category names or numbers for each example to be annotated – providing this can be impra...
100
click to vote
STACS
2010
Springer
15 years 7 months ago
2010
Springer
In this paper we consider the problem of testing whether two finite groups are isomorphic. Whereas the case where both groups are abelian is well understood and can be solved effi...