2689 search results - page 392 / 538 » ParalleX: A Study of A New Parallel Computation Model |
191
click to vote
CONCUR
2007
Springer
16 years 20 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
285
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. Figure/ground assignment is a key step in perceptual organization which assigns contours to one of the two abutting regions, providing information about occlusion and all...
209
click to vote
TVCG
2008
15 years 6 months ago
2008
Systems biologists use interaction graphs to model the behavior of biological systems at the molecular level. In an iterative process, such biologists observe the reactions of livi...
179
click to vote
PODC
2005
ACM
16 years 1 days ago
2005
ACM
We study the distributed complexity of computing a maximal independent set (MIS) in radio networks with completely unknown topology, asynchronous wake-up, and no collision detecti...
172
click to vote
CRYPTO
1989
Springer
15 years 10 months ago
1989
Springer
Abstract. In this paper, we provide a new approach to study undeniable signatures by translating secure digital signatures to secure undeniable signatures so that the existing algo...