14382 search results - page 176 / 2877 » Time in Connectionist Models |
181
click to vote
COLING
2010
15 years 1 months ago
2010
In this paper, we describe a SVM classification framework of session detection task on both Chinese and English query logs. With eight features on the aspects of temporal and cont...
165
click to vote
ISORC
2007
IEEE
16 years 21 days ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
142
click to vote
ICMCS
1994
IEEE
15 years 10 months ago
1994
IEEE
1 As multimedia system integrate a variety of temporally interrelated media items, synchronization is an important issue in those systems. One part of synchronization is the repres...
179
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
185
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...