39362 search results - page 224 / 7873 » Global Computing Systems |
118
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
156
click to vote
NIPS
2003
15 years 5 months ago
2003
We present a system to recognize phrases based on perceptrons, and a global online learning algorithm to train them together. The recognition strategy applies learning in two laye...
138
Voted
ETS
2010
IEEE
15 years 4 months ago
2010
IEEE
Post-silicon validation and debug, or ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is complicated, as it involves checking g...
152
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Image segmentation and figure/ground organization are fundamental steps in visual perception. This paper introduces an algorithm that couples these tasks together in a s...
139
click to vote
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
We study the problem of estimating the epipolar geometry
from apparent contours of smooth curved surfaces
with affine camera models. Since apparent contours are
viewpoint depend...