The powerdomain of indexed valuations | IEEE Conference Publication | IEEE Xplore