4586 search results - page 331 / 918 » Computing stable models in parallel |
122
click to vote
PDCAT
2004
Springer
15 years 10 months ago
2004
Springer
Seismic modeling is an integral part of the seismic data processing for oil and gas exploration, as it provides us the seismic response for a given earth model. Grid enabled seismi...
124
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
153
click to vote
ISSADS
2005
Springer
15 years 10 months ago
2005
Springer
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...
128
click to vote
CW
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper addresses interactive function-based shape modeling where relatively small formulas are used rather than thousands of polygons. Interactive modification of the function...
129
click to vote
CW
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper discusses a method to watermark a 3D shape model defined as a set of unoriented points. Our approach is to perform frequency domain analysis of the shape of the 3D poin...