3575 search results - page 164 / 715 » Modeling Concurrency with Geometry |
110
Voted
AE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We report the use of MGS, a declarative and rule-based language, for the modeling of various self-assembly processes. The approach is illustrated on the fabrication of a ...
149
click to vote
CVPR
1996
IEEE
15 years 8 months ago
1996
IEEE
We propose a new method for view synthesis from real images using stereo vision. The method does not explicitly model scene geometry, and enables fast and exact generation of synt...
158
Voted
SIGGRAPH
1994
ACM
15 years 8 months ago
1994
ACM
This paper derives a model of diffuse and specular illumination in arbitrarily large dimensions, based on a few characteristics of material and light in 3-space. It then describes...
94
Voted
TSP
2008
15 years 4 months ago
2008
Abstract--We address the problem of estimating the shape parameters of seismic wavefields using linear arrays of three-component (3C) vector sensors with uncertain acquisition geom...
129
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...