11328 search results - page 50 / 2266 » Timed Branching Processes |
105
click to vote
CONCUR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
118
click to vote
IJCAI
2003
15 years 3 months ago
2003
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...
142
click to vote
ISCI
2007
15 years 1 months ago
2007
Efficient processing of distance-based queries (DBQs) is of great importance in spatial databases due to the wide area of applications that may address such queries. The most repr...
104
click to vote
AUTOMATICA
2005
15 years 1 months ago
2005
For a lumped parameter model of a flow network driven by a periodic generator, we apply averaging to find an approximate solution and analyze its stability. The approximate soluti...
122
click to vote
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...