Sciweavers

14382 search results - page 200 / 2877
» Time in Connectionist Models
Sort
View
KDD
2008
ACM
159views Data Mining» more  KDD 2008»
16 years 6 months ago
Semi-supervised learning with data calibration for long-term time series forecasting
Many time series prediction methods have focused on single step or short term prediction problems due to the inherent difficulty in controlling the propagation of errors from one ...
Haibin Cheng, Pang-Ning Tan
DATE
2009
IEEE
126views Hardware» more  DATE 2009»
16 years 1 months ago
On hierarchical statistical static timing analysis
— Statistical static timing analysis deals with the increasing variations in manufacturing processes to reduce the pessimism in the worst case timing analysis. Because of the cor...
Bing Li, Ning Chen, Manuel Schmidt, Walter Schneid...
FORMATS
2006
Springer
15 years 10 months ago
From MITL to Timed Automata
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
Oded Maler, Dejan Nickovic, Amir Pnueli
FATES
2004
Springer
15 years 12 months ago
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
Behzad Bordbar, Kozo Okano
ALMOB
2008
95views more  ALMOB 2008»
15 years 6 months ago
A stitch in time: Efficient computation of genomic DNA melting bubbles
Background: It is of biological interest to make genome-wide predictions of the locations of DNA melting bubbles using statistical mechanics models. Computationally, this poses th...
Eivind Tøstesen