2663 search results - page 133 / 533 » How to Choose a Timing Model |
157
Voted
IJCSA
2006
15 years 6 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
161
click to vote
RISE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
229
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
We present several modifications of the original recurrent neural network language model (RNN LM). While this model has been shown to significantly outperform many competitive l...
174
click to vote
ECWEB
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Recommendation technologies have traditionally been used in domains such as E-commerce and Web navigation to recommend resources to customers so as to help them to get th...
185
click to vote
IDA
2006
Springer
15 years 6 months ago
2006
Springer
The analysis of microarray data from time-series experiments requires specialised algorithms, which take the temporal ordering of the data into account. In this paper we explore a ...