4480 search results - page 326 / 896 » Prototyping Completion with Constraints Using Computational ... |
167
click to vote
SIGGRAPH
1989
ACM
15 years 10 months ago
1989
ACM
A method for analytically calculating the forces between systems of rigid bodies in resting (non-colliding) contact is presented. The systems of bodies may either be in motion or ...
195
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
199
click to vote
CLUSTER
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Performance and power issues are becoming increasingly important in the design of large cluster based multitier data centers for supporting a multitude of services. Desi...
171
click to vote
ICCV
1998
IEEE
15 years 11 months ago
1998
IEEE
Conventional video cameras have limited elds of view which make them restrictive for certain applications in computational vision. A catadioptric sensor uses a combination of lens...
185
click to vote
IWCMC
2006
ACM
16 years 18 days ago
2006
ACM
This paper presents a neural network model for routing in the space segment of a Satellite Personal Communication System. At first, a proper energy function is constructed from th...