Sciweavers

107 search results - page 20 / 22
» Further results on the Craig-Sakamoto Equation
Sort
View
RSS
2007
151views Robotics» more  RSS 2007»
15 years 5 days 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...
CVPR
2010
IEEE
15 years 1 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
107
Voted
BIOCOMP
2008
15 years 6 days 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»
14 years 10 months 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...
ASE
2005
137views more  ASE 2005»
14 years 10 months 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