2008 search results - page 179 / 402 » Computing with Equations |
129
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
The autonomic workflow engine enables workflow to be dynamically specified and adapted using Event-Condition-Action rules. A new approach to autonomic execution of workflow process...
128
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
103
click to vote
ACCV
2006
Springer
15 years 8 months ago
2006
Springer
A robust linear method for auto-calibration of a moving camera from image sequences is presented. Known techniques for auto-calibration have problems with critical motion sequences...
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...
109
Voted
ICCV
2003
IEEE
15 years 7 months ago
2003
IEEE
This article proposes a novel approach on how to rectify the photo image of the bound document. The surface of the document is modeled by a cylindrical surface. By the geometry of...