Sciweavers

451 search results - page 21 / 91
» Temporal Classes and OWL
Sort
View
APIN
2005
88views more  APIN 2005»
15 years 9 days ago
Temporal Relevance in Dynamic Decision Networks with Sparse Evidence
In this paper, we discuss the degeneration of relevance of uncertain temporal information and propose an analytical upper bound for the relevance time of information in a restrict...
Ahmed Y. Tawfik, Shakil M. Khan
90
Voted
FOSSACS
2006
Springer
15 years 4 months ago
On Metric Temporal Logic and Faulty Turing Machines
Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. Since the early 1990s, it ...
Joël Ouaknine, James Worrell
95
Voted
FMOODS
2000
15 years 1 months ago
On a Temporal Logic for Object-Based Systems
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
109
Voted
NN
1998
Springer
108views Neural Networks» more  NN 1998»
15 years 1 days ago
How embedded memory in recurrent neural network architectures helps learning long-term temporal dependencies
Learning long-term temporal dependencies with recurrent neural networks can be a difficult problem. It has recently been shown that a class of recurrent neural networks called NA...
Tsungnan Lin, Bill G. Horne, C. Lee Giles
79
Voted
IJON
2006
64views more  IJON 2006»
15 years 11 days ago
Extraction of temporally correlated sources with its application to non-invasive fetal electrocardiogram extraction
This letter addresses the problem of fetal electrocardiogram (FECG) extraction. A class of source extraction algorithms is proposed, which uses a combination of two different appr...
Zhi-Lin Zhang, Zhang Yi