6153 search results - page 213 / 1231 » Modeling Cyclic Change |
203
click to vote
IPPS
2007
IEEE
16 years 25 days ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
130
click to vote
PRICAI
2004
Springer
15 years 12 months ago
2004
Springer
Background elimination models are widely used in motion tracking systems. Our aim is to develop a system that performs reliably under adverse lighting conditions. In particular, th...
144
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we propose to introduce novel constructs for workflow modeling in the context of changing the organization of work when virtualizing organizations. We do not only de...
139
click to vote
ESSLLI
1999
Springer
15 years 10 months ago
1999
Springer
In this paper I take a dynamic view in the spirit of the update semantics by Veltman (1996) on the first–order model construction procedure presented by Manthey and Bry (1988)....
177
click to vote
SMI
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper expands the role of the new field of computational topology by surveying methods for incorporating connectedness in shape modeling. Two geometric representations in par...