4670 search results - page 376 / 934 » Testing that distributions are close |
151
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
192
click to vote
RECOMB
2009
Springer
16 years 1 months ago
2009
Springer
In 2006, a debate has risen on the question of the efficiency of bioinformatics methods to reconstruct mammalian ancestral genomes. Three years later, Gordon et al. (PLoS Genetics,...
147
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a new method for analysis of center of pressure (COP) signals using Empirical Mode Decomposition (EMD). The EMD decomposes a COP signal into a finite set of b...
180
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
With the increased availability of pen-based devices, it becomes interesting to conduct and to archive multi-party communication sessions that involve audio and digital ink on a s...
154
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— We report our first experiences with Leaving Flatland, an exploratory project that studies the key challenges of closing the loop between autonomous perception and action on c...