5205 search results - page 715 / 1041 » Tilings and model theory |
203
click to vote
EMSOFT
2007
Springer
16 years 29 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
195
click to vote
SCIA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper introduces a new concept within shadow segmentation for usage in shadow removal and augmentation through construction of a multiplicity alpha overlay shadow mo...
187
click to vote
CGI
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper presents a quasi-physically based approach for interactively simulating large-scale dynamic forest scenes under different wind conditions. We introduce theories from th...
177
click to vote
ACMICEC
2006
ACM
16 years 23 days ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...
148
click to vote
CSCW
2006
ACM
16 years 23 days ago
2006
ACM
Spontaneous multi-party interaction – conversation among groups of three or more participants – is part of daily life. While automated modeling of such interactions has receiv...