2261 search results - page 6 / 453 » Relationships Between Models of Concurrency |
IJAR
2002
13 years 7 months ago
2002
SMA
2003
ACM
14 years 29 days ago
2003
ACM
Associativity between feature models implies the automatic updating of different feature models of a part after changes are made in one of its feature models. This is an importan...
CODES
2002
IEEE
14 years 21 days ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...
SCVMA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we present a generative model for image sequences, which can be applied to motion segmentation and tracking, and to image sequence compression. The model co...
AAAI
1992
13 years 9 months ago
1992
We propose a representation of concurrent actions; rather than invent a new formalism, we model them within the standard situation calculus by introducing the notions of global ac...