Sciweavers

9387 search results - page 1269 / 1878
» An Optimal Process Model for a Real Time Process
Sort
View
ICES
2003
Springer
111views Hardware» more  ICES 2003»
16 years 12 days ago
Spiking Neural Networks for Reconfigurable POEtic Tissue
Abstract. Vertebrate and most invertebrate organisms interact with their environment through processes of adaptation and learning. Such processes are generally controlled by comple...
Jan Eriksson, Oriol Torres, Andrew Mitchell, Gayle...
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
15 years 11 months ago
Embedding Chaos
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
Natalia Sidorova, Martin Steffen
DKE
2010
112views more  DKE 2010»
15 years 7 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar
DAGM
2010
Springer
15 years 8 months ago
Geometrically Constrained Level Set Tracking for Automotive Applications
We propose a new approach for integrating geometric scene knowledge into a level-set tracking framework. Our approach is based on a novel constrained-homography transformation mode...
Esther Horbert, Dennis Mitzel, Bastian Leibe
ICDE
2009
IEEE
156views Database» more  ICDE 2009»
16 years 9 months ago
Online Anomaly Prediction for Robust Cluster Systems
In this paper, we present a stream-based mining algorithm for online anomaly prediction. Many real-world applications such as data stream analysis requires continuous cluster opera...
Xiaohui Gu, Haixun Wang
« Prev « First page 1269 / 1878 Last » Next »