921 search results - page 153 / 185 » On Interleaving in Timed Automata |
CG
2005
Springer
14 years 11 months ago
2005
Springer
We propose an efficient framework for dynamic cloud rendering. Base on the proposed simplified lighting model, the Shadow Relation Table (SRT) and Metaball Lighting Texture Databa...
110
click to vote
MTA
2007
14 years 11 months ago
2007
Abstract. In this paper we address the problem of comparing multimedia documents, which can be described according to different reference models. If we consider presentations as c...
122
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
The complexity of the isomorphism problem for regular trees, regular linear orders, and regular words is analyzed. A tree is regular if it is isomorphic to the prefix order on a r...
71
Voted
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— This paper investigates the dissemination of multiple pieces of information in large networks where users contact each other in a random uncoordinated manner, and users...
ACSD
2006
IEEE
15 years 5 months ago
2006
IEEE
We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. ...