Sciweavers

4586 search results - page 254 / 918
» Computing stable models in parallel
Sort
View
LICS
1993
IEEE
15 years 8 months ago
Full Abstraction for a Shared Variable Parallel Language
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
Stephen D. Brookes
143
Voted
CORR
2007
Springer
117views Education» more  CORR 2007»
15 years 4 months ago
Definition sets for the Direct Kinematics of Parallel Manipulators
The aim of this paper is to characterize the uniqueness domains in the workspace of parallel manipulators, as well as their image in the joint space. The notion of aspect introduc...
Philippe Wenger, Damien Chablat
JCC
2008
84views more  JCC 2008»
15 years 4 months ago
Explicit ion, implicit water solvation for molecular dynamics of nucleic acids and highly charged molecules
: An explicit ion, implicit water solvent model for molecular dynamics was developed and tested with DNA and RNA simulations. The implicit water model uses the finite difference Po...
Ninad V. Prabhu, Manoranjan Panda, Qingyi Yang, Ki...
ICPR
2004
IEEE
16 years 5 months ago
A Probabilistic Framework for Joint Head Tracking and Pose Estimation
Head Tracking and pose estimation are usually considered as two sequential and separate problems: pose is estimated on the head patch provided by a tracking module. However, preci...
Jean-Marc Odobez, Sileye O. Ba
GLOBECOM
2007
IEEE
15 years 10 months ago
ARMA Synthesis of Fading Channels- an Application to the Generation of Dynamic MIMO Channels
— Adaptive transceivers play an important role in wireless communications and the design of MIMO systems. Therefore models that enable simulation of dynamic and time varying chan...
Hani Mehrpouyan, Steven D. Blostein