99 search results - page 11 / 20 » Quantifier structure in search based procedures for QBFs |
121
click to vote
INFOCOM
2012
IEEE
13 years 2 months ago
2012
IEEE
—It is well known that Online Social Networks (OSNs) are vulnerable to privacy leakages, whereby specific information about a user (political affiliation, sexual orientation, g...
DAC
2001
ACM
16 years 25 days ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
RECOMB
2003
Springer
16 years 5 days ago
2003
Springer
We describe a novel method for detecting the domain structure of a protein from sequence information alone. The method is based on analyzing multiple sequence alignments that are ...
ICML
1997
IEEE
16 years 20 days ago
1997
IEEE
In recent years there has been a flurry of works on learning probabilistic belief networks. Current state of the art methods have been shown to be successful for two learning scen...
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
Currently, the increasing rate of routing lookups in Internet routers, the large number of prefixes and also the transition from IPV4 to IPV6, have caused Internet designers to pro...