20833 search results - page 3863 / 4167 » Hidden process models |
132
click to vote
STTT
1998
15 years 4 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
145
click to vote
TCAD
2002
15 years 4 months ago
2002
In this paper, we propose a new approach for VLSI interconnect global routing that can optimize both congestion and delay, which are often competing objectives. Our approach provi...
162
click to vote
TCSV
2002
15 years 4 months ago
2002
Abstract--The emerging video coding standard MPEG-4 enables various content-based functionalities for multimedia applications. To support such functionalities, as well as to improv...
192
click to vote
TGIS
2002
15 years 4 months ago
2002
Today, there is a huge amount of data gathered about the Earth, not only from new spatial information systems, but also from new and more sophisticated data collection technologie...
132
click to vote
TMI
2002
15 years 4 months ago
2002
We describe a method for computing a continuous time estimate of tracer density using list-mode positron emission tomography data. The rate function in each voxel is modeled as an ...