Sciweavers

7554 search results - page 846 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
CATS
2008
15 years 8 months ago
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction
Lock-free algorithms have been developed to avoid various problems associated with using locks to control access to shared data structures. These algorithms are typically more int...
Lindsay Groves
ESANN
2007
15 years 8 months ago
Markovian blind separation of non-stationary temporally correlated sources
In a previous work, we developed a quasi-efficient maximum likelihood approach for blindly separating stationary, temporally correlated sources modeled by Markov processes. In this...
Rima Guidara, Shahram Hosseini, Yannick Deville
232
Voted
DICTA
2009
15 years 8 months ago
SIFTing the Relevant from the Irrelevant: Automatically Detecting Objects in Training Images
Many state-of-the-art object recognition systems rely on identifying the location of objects in images, in order to better learn its visual attributes. In this paper, we propose fo...
Edmond Zhang, Michael Mayo
COLING
2002
15 years 7 months ago
Detecting Errors in Corpora Using Support Vector Machines
While the corpus-based research relies on human annotated corpora, it is often said that a non-negligible amount of errors remain even in frequently used corpora such as Penn Tree...
Tetsuji Nakagawa, Yuji Matsumoto
SIAMNUM
2010
106views more  SIAMNUM 2010»
15 years 2 months ago
Computing Sacker-Sell spectra in Discrete Time Dynamical Systems
In this paper we develop boundary value methods for detecting Sacker-Sell spectra in discrete time dynamical systems. The algorithms are advancements of earlier methods for comput...
Thorsten Hüls