14382 search results - page 81 / 2877 » Time in Connectionist Models |
120
click to vote
ICTAC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
100
click to vote
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
—We obtain detailed analytic formulas for the density and probability distribution of the waiting time in a time-division multiple-access (TDMA) model with a finite buffer and s...
VTS
2003
IEEE
15 years 6 months ago
2003
IEEE
— In this paper, we study the problem of delay defect diagnosis based on statistical timing models. We propose a diagnosis algorithm that can effectively utilize statistical timi...
114
click to vote
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
ACL
2008
15 years 2 months ago
2008
Many applications in NLP, such as questionanswering and summarization, either require or would greatly benefit from the knowledge of when an event occurred. Creating an effective ...