Sciweavers

1380 search results - page 107 / 276
» Reasoning about Input-Output Modeling of Dynamical Systems
Sort
View
ICCS
2007
Springer
14 years 2 months ago
Towards a Formal Foundation for Aggregating Scientific Workflows
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
Frank Terpstra, Zhiming Zhao, Wico Mulder, Pieter ...
ECAI
2010
Springer
13 years 11 months ago
Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive
Abstract. Control engineering is a field of major industrial importance as it offers principles for engineering controllable physical devices, such as cell phones, television sets,...
Arjen Hommersom, Peter J. F. Lucas
AAAI
2007
14 years 14 days ago
On the Partial Observability of Temporal Uncertainty
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
Michael D. Moffitt
BMCBI
2005
122views more  BMCBI 2005»
13 years 10 months ago
A microarray data-based semi-kinetic method for predicting quantitative dynamics of genetic networks
Background: Elucidating the dynamic behaviour of genetic regulatory networks is one of the most significant challenges in systems biology. However, conventional quantitative predi...
Katsuyuki Yugi, Yoichi Nakayama, Shigen Kojima, To...
ICPR
2008
IEEE
14 years 4 months ago
Video object segmentation based on graph cut with dynamic shape prior constraint
In this work, we present a novel segmentation method for deformable objects in monocular videos. Firstly we introduce the dynamic shape to represent the prior knowledge about obje...
Peng Tang, Lin Gao