3972 search results - page 167 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
116
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
112
Voted
JMIV
2010
15 years 2 months ago
2010
A new mathematical image model is introduced using the photographic process as the starting point. Images are represented as infinite sequences of photons allowing analysis at arb...
135
Voted
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
151
Voted
KDD
2008
ACM
16 years 4 months ago
2008
ACM
Privacy-preserving data mining (PPDM) is an emergent research area that addresses the incorporation of privacy preserving concerns to data mining techniques. In this paper we prop...
138
Voted
APN
2007
Springer
15 years 10 months ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...