2008 search results - page 179 / 402 » Computing with Equations |
190
click to vote
ICCS
2007
Springer
16 years 20 days 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...
181
click to vote
IPPS
2006
IEEE
16 years 16 days 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...
151
click to vote
ACCV
2006
Springer
16 years 15 days 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...
144
click to vote
AMAST
2004
Springer
15 years 12 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...
164
click to vote
ICCV
2003
IEEE
15 years 11 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...