Sciweavers

107 search results - page 20 / 22
» Further results on the Craig-Sakamoto Equation
Sort
View
110
Voted
RSS
2007
151views Robotics» more  RSS 2007»
15 years 1 months ago
An Implicit Time-Stepping Method for Multibody Systems with Intermittent Contact
— In this paper we present an implicit time-stepping scheme for multibody systems with intermittent contact by incorporating the contact constraints as a set of complementarity a...
Nilanjan Chakraborty, Stephen Berard, Srinivas Ake...
109
Voted
CVPR
2010
IEEE
15 years 2 months ago
Learning 3D Shape from a Single Facial Image via Non-linear Manifold Embedding and Alignment
The 3D reconstruction of a face from a single frontal image is an ill-posed problem. This is further accentuated when the face image is captured under different poses and/or compl...
Xianwang Wang, Ruigang Yang
BIOCOMP
2008
15 years 1 months ago
Prediction of Protein Function Using Graph Container and Message Passing
We introduce a novel parameter called container flux, which is used to measure the information sharing capacity between two distinct nodes in a graph. Other useful information, bot...
Hongbo Zhou, Qiang Shawn Cheng, Mehdi Zargham
CORR
2008
Springer
127views Education» more  CORR 2008»
15 years 13 days ago
Theory of Rumour Spreading in Complex Social Networks
We introduce a general stochastic model for the spread of rumours, and derive mean-field equations that describe the dynamics of the model on complex social networks (in particula...
Maziar Nekovee, Yamir Moreno, G. Bianconi, M. Mars...
119
Voted
ASE
2005
137views more  ASE 2005»
15 years 8 days ago
Rewriting-Based Techniques for Runtime Verification
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
Grigore Rosu, Klaus Havelund