5863 search results - page 830 / 1173 » On Model-Checking of P Systems |
176
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We derive an efficient learning algorithm for model-based source separation for use on single channel speech mixtures where the precise source characteristics are not known a pri...
154
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Recent developments have resulted in dramatic changes in the way elections are conducted, both in the United States and around the world. Well-publicized flaws in the security of...
167
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Portable ballot counters using camera technology and manual paper feed are potentially more reliable and less expensive than scanner-based systems. We show that the spatial sampli...
187
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
BOINC is a platform for volunteer computing. The server component of BOINC embodies a number of scheduling policies and parameters that have a large impact on the projects through...
190
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents significant steps towards the online integration of 3D perception and manipulation for personal robotics applications. We propose a modular and distributed...