Sciweavers

1806 search results - page 102 / 362
» Some Functions Computable with a Fused-Mac
Sort
View
ESANN
2003
15 years 7 months ago
On Convergence Problems of the EM Algorithm for Finite Gaussian Mixtures
Efficient probability density function estimation is of primary interest in statistics. A popular approach for achieving this is the use of finite Gaussian mixture models. Based on...
Cédric Archambeau, John Aldo Lee, Michel Ve...
INTERACT
2003
15 years 7 months ago
DriftCatcher: The Implicit Social Context of Email
: This work uses Artificial Intelligence (AI) in an electronic communication interface to improve people’s ability to focus on important communications. Many social cues that all...
Andrea Lockerd, Ted Selker
TCS
2008
15 years 6 months ago
Itemset frequency satisfiability: Complexity and axiomatization
Computing frequent itemsets is one of the most prominent problems in data mining. We study the following related problem, called FREQSAT, in depth: given some itemset-interval pai...
Toon Calders
FAC
2010
93views more  FAC 2010»
15 years 3 months ago
Inter-process buffers in separation logic with rely-guarantee
Separation logic allows simple proofs of concurrent algorithms which use blocking mechanisms such as semaphores. It can even deal with non-blocking algorithms. With the addition of...
Richard Bornat, Hasan Amjad
DLOG
2011
14 years 9 months ago
Correcting Access Restrictions to a Consequence More Flexibly
Recent research has shown that labeling ontologies can be useful for restricting the access to some of the axioms and their implicit consequences. However, the labeling of the axio...
Eldora, Martin Knechtel, Rafael Peñaloza