79 search results - page 7 / 16 » Solving Equations Involving Sequence Variables and Sequence ... |
MCMASTER
1993
14 years 11 days ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
AAIP
2009
13 years 9 months ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...
MP
2008
13 years 8 months ago
2008
Abstract. Two corrector-predictor interior point algorithms are proposed for solving monotone linear complementarity problems. The algorithms produce a sequence of iterates in the ...
ICCV
2003
IEEE
14 years 10 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...
IPPS
1998
IEEE
14 years 16 days ago
1998
IEEE
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...