132 search results - page 24 / 27 » Process Equivalences as Global Bisimulations |
WER
2001
Springer
14 years 7 days ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
SARA
2007
Springer
14 years 1 months ago
2007
Springer
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
CDC
2009
IEEE
14 years 16 days ago
2009
IEEE
— This paper describes a two-sweep control design method to stabilize the acrobot, an input-affine under-actuated system, at the upper equilibrium point. In the forward sweep, t...
ICDE
2005
IEEE
14 years 1 months ago
2005
IEEE
Current federated systems deploy cost-based query optimization mechanisms; i.e., the optimizer selects a global query plan with the lowest cost to execute. Thus, cost functions in...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
The problem of multibody motion segmentation is an important and challenging issue in computer vision. In this paper, a novel segmentation technique based on simulated annealing (...