11328 search results - page 166 / 2266 » Timed Branching Processes |
155
Voted
FOSSACS
2011
Springer
14 years 7 months ago
2011
Springer
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by o...
121
click to vote
ICSM
2006
IEEE
15 years 9 months ago
2006
IEEE
The main challenge of dynamic analysis is the huge volume of data, making it difficult to extract high level views. Most techniques developed so far adopt a finegrained approach ...
120
click to vote
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
– We have developed and tested a novel artificial neural network for the processing of temporal signals. The working of the units (TempUnit) is based on the mechanism of temporal...
134
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
The paper presents a new distributed metaheuristic algorithm in an optimal control problem related to the cooling process in the continuous casting of steel. The optimization task...
165
Voted
ADL
2000
Springer
15 years 8 months ago
2000
Springer
A mediator system is a kind of a meta-search engine that provides a seamlessly integrated search service for diverse search engines (collections). Since collections of a mediator ...