2410 search results - page 215 / 482 » Multiset Ordering Constraints |
161
click to vote
ASIAN
1999
Springer
15 years 10 months ago
1999
Springer
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
175
click to vote
ACCV
1998
Springer
15 years 10 months ago
1998
Springer
Abstract In this paper will be investigated what constraints on the intrinsic parameters that are needed in order to reconstruct an unknown scene from a number of its projective im...
159
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
189
click to vote
EP
1998
Springer
15 years 10 months ago
1998
Springer
This work presents the concepts and the tools involved in the interactive design of artistic screens. The screen elements are derived from a small set of analytical contours provid...
202
click to vote
ISSS
2000
IEEE
15 years 10 months ago
2000
IEEE
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...