130 search results - page 21 / 26 » An Equational Calculus for Alloy |
LISP
2008
13 years 7 months ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
In this paper we derive differential equations for evolving radial basis functions (RBFs) to solve segmentation problems. The differential equations result from applying variation...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
We consider the problem of image segmentation using active contours through the minimization of an energy criterion involving both region and boundary functionals. These functiona...
RTA
2009
Springer
14 years 2 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
SMA
2009
ACM
14 years 2 months ago
2009
ACM
Current mesh reduction techniques, while numerous, all primarily reduce mesh size by successive element deletion (e.g. edge collapses) with the goal of geometric and topological f...