5180 search results - page 210 / 1036 » Concurrency, Time, and Constraints |
151
click to vote
FUIN
2006
15 years 6 months ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...
186
click to vote
TMI
2010
15 years 1 months ago
2010
Abstract--We propose a framework for the nonlinear spatiotemporal registration of 4D time-series of images based on the Diffeomorphic Demons (DD) algorithm. In this framework, the ...
166
click to vote
CPAIOR
2005
Springer
16 years 4 days ago
2005
Springer
The Employee Timetabling Problem (ETP) is a general class of problems widely encountered in service organizations (such as call centers for instance). Given a set of activities, a ...
184
click to vote
DAC
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes a new force directed global placement algorithm that exploits and extends techniques from two leading placers, Force-directed [12] [26] and Mongrel [22]. It c...
133
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Authoring tools routinely include a timeline representation to allow the author to specify the sequence of animations and interactions. However, traditional static timelines are b...