Sciweavers

13987 search results - page 596 / 2798
» The Two Guards Problem
Sort
View
DEXAW
2007
IEEE
133views Database» more  DEXAW 2007»
15 years 11 months ago
Generating a Topic Hierarchy from Dialect Texts
We built a system for the automatic creation of a textbased topic hierarchy, meant to be used in a geographically defined community. This poses two main problems. First, the appea...
Wim De Smet, Marie-Francine Moens
SAT
2010
Springer
141views Hardware» more  SAT 2010»
15 years 11 months ago
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
Carsten Fuhs, Peter Schneider-Kamp
SAT
2010
Springer
136views Hardware» more  SAT 2010»
15 years 11 months ago
A Non-prenex, Non-clausal QBF Solver with Game-State Learning
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
William Klieber, Samir Sapra, Sicun Gao, Edmund M....
ICANN
2007
Springer
15 years 11 months ago
Fuzzy Classifiers Based on Kernel Discriminant Analysis
In this paper, we discuss fuzzy classifiers based on Kernel Discriminant Analysis (KDA) for two-class problems. In our method, first we employ KDA to the given training data and ca...
Ryota Hosokawa, Shigeo Abe
PAKDD
2010
ACM
182views Data Mining» more  PAKDD 2010»
15 years 11 months ago
Computation of Ratios of Secure Summations in Multi-party Privacy-Preserving Latent Dirichlet Allocation
In this paper, we focus our attention on the problem of computing the ratio of two numbers, both of which are the summations of the private numbers distributed in different parties...
Bin Yang, Hiroshi Nakagawa