Motion of curves governed by geometric evolution laws, such as mean curvature flow and surface diffusion, is the basis for many algorithms in image processing. If the images to be ...
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACLs could have inconsistencies, allowing traffic that should be denied o...
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Ga...
■ Proactive interference (PI), which is formed through repetition of certain behavior and lasts for a while, needs to be inhibited in order for subsequent behavior to prevail ov...
Seiki Konishi, Takamitsu Watanabe, Koji Jimura, Ju...
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by adapting the recursive path ordering definition to terms of a typed ...
We propose a method for segmentation of frontal human portraits from arbitrary unknown backgrounds. Semantic information is used to project the face into a normalized reference fr...
David C. Schneider, Benjamin Prestele, Peter Eiser...