937 search results - page 118 / 188 » On the Complexity of Partial Order Properties |
159
click to vote
DICTA
2003
15 years 7 months ago
2003
Abstract. The reconstruction of a complex scene from multiple images is a fundamental problem in the field of computer vision. Volumetric methods have proven to be a strong altern...
198
click to vote
DAGSTUHL
1997
15 years 7 months ago
1997
Interactive rendering of large data sets requires fast algorithms and rapid hardware acceleration. Both can be improved, but none of this ensures interactive response times. If a ...
157
Voted
WSC
1997
15 years 7 months ago
1997
A central quantity in steady-state simulation is the time-average variance constant. Estimates of this quantity are needed (for example) for constructing confidence intervals, an...
149
click to vote
CIIA
2009
15 years 7 months ago
2009
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...
164
click to vote
ACTA
2007
15 years 6 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...