1350 search results - page 77 / 270 » Reasoning about Staged Computation |
189
click to vote
MFCS
1994
Springer
15 years 9 months ago
1994
Springer
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
158
click to vote
CL
2004
Springer
15 years 5 months ago
2004
Springer
Much of the elegance and power of Smalltalk comes from its programming environment and tools. First introduced more than 20 years ago, the Smalltalk browser enables programmers to...
167
click to vote
DAIS
2009
15 years 3 months ago
2009
Queries are widely used for acquiring data distributed in opportunistically formed mobile networks. However, when queries are executed in such dynamic settings, the returned result...
144
click to vote
SSPR
2004
Springer
15 years 10 months ago
2004
Springer
Many attempts have been made to represent families of 2D shapes in a simpler way. These approaches lead to so-called structures as the Symmetry Set (SS) and a subset of it, the Med...
160
click to vote
JDCTA
2010
15 years 2 days ago
2010
Screening mammography represents the technique adopted to detect breast cancer at an early stage. However the presence of artifacts and pectoral muscle can disturb the detection o...