921 search results - page 145 / 185 » On Interleaving in Timed Automata |
106
click to vote
ICALP
2010
Springer
15 years 1 months ago
2010
Springer
We present a new deterministic sorting algorithm that interleaves the partitioning of a sample sort with merging. Sequentially, it sorts n elements in O(n log n) time cache-oblivi...
FCS
2006
15 years 1 months ago
2006
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...
BMVC
1998
15 years 1 months ago
1998
In the paper we present the Progressive Probabilistic Hough Transform (PPHT). Unlike the Probabilistic Hough Transform 4] where Standard Hough Transform is performed on a pre-sele...
116
click to vote
VMV
2007
15 years 1 months ago
2007
We present an image editing tool that allows to deform and composite image regions using an intuitive sketch-based interface. Users simply draw the outline of the source image reg...
122
click to vote
EPEW
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...