10568 search results - page 2040 / 2114 » Computer Intelligence and Formalization |
119
click to vote
DAC
2001
ACM
16 years 3 months ago
2001
ACM
Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant effort has been devoted to trying to provide practical solutions to ...
ICS
2010
Tsinghua U.
16 years 8 days ago
2010
Tsinghua U.
feuse of its devstting eets in utions nd other mehnismsD ollusion is prohiited nd leglly proseutedF etD olluders hve lwys existedD nd my ontinue to existF e thus rise the followin...
131
click to vote
IUI
2010
ACM
15 years 11 months ago
2010
ACM
Most of the previous work on non-invasive brain-computer interfaces (BCIs) has been focused on feature extraction and classification algorithms to achieve high performance for the...
115
click to vote
CSCW
2010
ACM
15 years 11 months ago
2010
ACM
Online production groups have the potential to transform the way that knowledge is produced and disseminated. One of the most widely used forms of online production is the wiki, w...
113
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
The growing amount of web-based attacks poses a severe threat to the security of web applications. Signature-based detection techniques increasingly fail to cope with the variety ...