Sciweavers

3514 search results - page 231 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
IDT
2008
123views more  IDT 2008»
15 years 4 months ago
A rich semantic model of track as a foundation for sharing beliefs regarding dynamic objects and events
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
Frederick Hayes-Roth, Curtis L. Blais
232
Voted
FSTTCS
2010
Springer
15 years 2 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To
127
Voted
CCE
2004
15 years 4 months ago
On the use of reduced order models in bifurcation analysis of distributed parameter systems
Bifurcation theory provides a powerful tool for analyzing the nonlinear dynamic behavior of process systems. However, although the theory in principle applies to lumped as well as...
Yi Liu, Elling W. Jacobsen
CORR
2012
Springer
187views Education» more  CORR 2012»
14 years 17 days ago
Sequential Inference for Latent Force Models
Latent force models (LFMs) are hybrid models combining mechanistic principles with non-parametric components. In this article, we shall show how LFMs can be equivalently formulate...
Jouni Hartikainen, Simo Särkkä
ICRA
1994
IEEE
167views Robotics» more  ICRA 1994»
15 years 9 months ago
Modeling of Deformable Thin Parts for Their Manipulation
A systematic approach to modeling of deformable soft parts for their manipulation is presented. Various deformable parts such as cords, leather products, and sheet metals are mani...
Shinichi Hirai, Hidefumi Wakamatsu, Kazuaki Iwata