Sciweavers

2025 search results - page 217 / 405
» Minimal-Cut Model Composition
Sort
View
ALIFE
1999
15 years 4 months ago
The Simulated Evolution of Biochemical Guilds: Reconciling Gaia Theory and Natural Selection
Gaia theory, which states that organisms both affect and regulate their environment, poses an interesting problem to Neo-Darwinian evolutionary biologists and provides an exciting ...
Keith L. Downing, Peter Zvirinsky
SIGSOFT
2010
ACM
15 years 2 months ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan
138
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
Staged concurrent program analysis
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
Nishant Sinha, Chao Wang
189
Voted
SMI
2010
IEEE
183views Image Analysis» more  SMI 2010»
15 years 2 months ago
Shape Defined Panoramas
Panoramic projections are often defined by the geometric surfaces used to derive the projections' equations (e.g., spherical and cylindrical panoramas). The parameterization o...
John Brosz, Faramarz Samavati
183
Voted
CVPR
2010
IEEE
15 years 2 months ago
Image restoration and disparity estimation from an uncalibrated multi-layered image
Watching a reflection in a glass window, one can often observe a multi-layered image consisting of a frontsurface reflection from the glass and a rear-surface reflection through t...
Takahiro Yano, Masao Shimizu, Masatoshi Okutomi