10055 search results - page 444 / 2011 » Structured programming using processes |
164
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
Parallel programmers typically assume that all resources required for a program’s execution are dedicated to that purpose. However, in local and wide area networks, contention f...
213
click to vote
JOLLI
2008
15 years 6 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
163
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Recently, a novel and structural representation of speech was proposed [1, 2], where the inevitable acoustic variations caused by nonlinguistic factors are effectively removed fro...
177
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Sparse representations over redundant dictionaries offer an efficient paradigm for signal representation. Recently block-sparsity has been put forward as a prior condition for so...
189
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The Structural SIMilarity Measure (SSIM) combined with the sequential Monte Carlo approach has been shown [1] to achieve more reliable video object tracking performance, compared ...