Sciweavers

1816 search results - page 66 / 364
» A New Approach for Solving the Maximum Clique Problem
Sort
View
BMCBI
2007
154views more  BMCBI 2007»
15 years 6 months ago
Classification of heterogeneous microarray data by maximum entropy kernel
Background: There is a large amount of microarray data accumulating in public databases, providing various data waiting to be analyzed jointly. Powerful kernel-based methods are c...
Wataru Fujibuchi, Tsuyoshi Kato
AI
2008
Springer
15 years 6 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar
137
Voted
ICASSP
2009
IEEE
16 years 20 days ago
TDOA estimation for cyclostationary sources: New correlations-based bounds and estimators
We consider the problem of Time Difference of Arrival (TDOA) estimation for cyclostationary signals in additive white Gaussian noise. Classical approaches to the problem either ig...
Moshe Teplitsky, Arie Yeredor
ATAL
2010
Springer
15 years 7 months ago
Improving DPOP with function filtering
DPOP is an algorithm for distributed constraint optimization which has, as main drawback, the exponential size of some of its messages. Recently, some algorithms for distributed c...
Ismel Brito, Pedro Meseguer
DAC
2005
ACM
16 years 6 months ago
Efficient SAT solving: beyond supercubes
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
Domagoj Babic, Jesse D. Bingham, Alan J. Hu