Sciweavers

2950 search results - page 239 / 590
» Computing with Infinitely Many Processes
Sort
View
DAC
1996
ACM
15 years 11 months ago
Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
Jordi Cortadella, Michael Kishinevsky, Alex Kondra...
PODC
1993
ACM
15 years 10 months ago
A Lower Bound on Wait-Free Counting
A counting protocol (mod m) consists of shared memory bits - referred to as the counter - and of a procedure for incrementing the counter value by 1 (mod m). The procedure may be ...
Shlomo Moran, Gadi Taubenfeld
179
Voted
BMVC
2001
15 years 9 months ago
An Adaptive Potential for Robust Shape Estimation
This paper describes an algorithm for shape estimation in cluttered scenes. A new image potential is defined based on strokes detected in the image. The motivation is simple. Fea...
Jacinto C. Nascimento, Jorge S. Marques
ALIFE
2006
15 years 6 months ago
The Infection Algorithm: An Artificial Epidemic Approach for Dense Stereo Correspondence
We present a new bio-inspired approach applied to a problem of stereo image matching. This approach is based on an artificial epidemic process, which we call the infection algorith...
Gustavo Olague, Francisco Fernández, Cynthi...
JCSS
2007
68views more  JCSS 2007»
15 years 6 months ago
Portfolio and investment risk analysis on global grids
The financial services industry today produces and consumes huge amounts of data and the processes involved in analysing these data are equally huge especially in terms of their c...
Rafael Moreno-Vozmediano, Krishna Nadiminti, Sriku...