3575 search results - page 281 / 715 » Modeling Concurrency with Geometry |
160
click to vote
IPL
2010
15 years 5 months ago
2010
Resource bisimilarity has been proposed in the literature on concurrency theory as a notion of bisimilarity over labeled transition systems that takes into account the number of c...
164
click to vote
GMP
2006
IEEE
16 years 18 days ago
2006
IEEE
For molding and casting processes, geometries that have undercut-free parting directions (UFPDs) are preferred for manufacturing. Identifying all UFPDs for arbitrary geometries at ...
139
click to vote
SIGPRO
2002
15 years 6 months ago
2002
Dynamic image analysis requires the estimation of time-varying model parameters (e.g., shape coe cients). This can be11 seen as states of a dynamic model which are restricted to a...
183
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
166
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
The statistics of range images from natural environments is a largely unexplored eld of research. It closely relates to the statistical modeling of the scene geometry in natural e...