6149 search results - page 436 / 1230 » Revealing the programming process |
149
click to vote
ICA
2004
Springer
16 years 8 days ago
2004
Springer
A series of recent results shows that if a signal admits a sufficiently sparse representation (in terms of the number of nonzero coefficients) in an “incoherent” dictionary, th...
232
click to vote
ICALP
1992
Springer
15 years 11 months ago
1992
Springer
This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence resu...
144
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents an enumerative approach for a sports league scheduling problem. This simple method can solve some instances involving a number T of teams up to 70 while the bes...
166
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
172
click to vote
CC
2006
Springer
15 years 9 months ago
2006
Springer
The CGiS programming language is designed to open up the parallel performance possibilities of graphics processing units (GPUs) to general purpose programmers. This tool demonstrat...